Explore tweets tagged as #AIForMath
Hardest problems in mathematics, physics & the future of AI. ~ Terence Tao, Lex Fridman. #ITP #LeanProver #AI #Math #AIforMath.
0
7
32
A very nice set of blog posts on the #ICML2024 #AIforMath workshop by Harald Carlens of @ml_contests. If you are excited by Alphaproof and want to know what's going on in the broader field, read these posts. * Morning session: * Afternoon session:
0
1
27
The abc conjecture almost always — autoformalized. ~ Jesse Michael Han et als. #Autoformalization #AIforMath #ITP #LeanProver.
0
1
10
0
0
0
LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel et als. #ITP #LeanProver #Math #AIforMath #Teaching.
1
1
21
Reviving DSP for advanced theorem proving in the era of reasoning models. ~ Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang. #AI #Math #AIforMath #LLMs #ITP #LeanProver.
0
1
6
Reseña de «Hardest problems in mathematics, physics & the future of AI». #ITP #LeanProver #AI #Math #AIforMath.
0
0
2
Math Coach approved growing better every day. I'm proud to be a @SnorklApp Superstar! ✨ #AIforMath #WeekofAI Who wants to go next #EduGuardians?
2
0
6
DeepSeek V3 : Better than ChatGPT?.Full Video: #DeepSeekV3,#AIModelComparison,#OpenSourceAI,#DeepSeekFeatures,#DeepSeekTutorial,#AIMOEArchitecture,#AIForMath,#AIForCoding,#AIForScience,#DeepSeekVsGPT4,#AIResearchTools,#FreeAIModel
0
0
0
0
1
1
Mathesis: Towards formal theorem proving from natural languages. ~ Yu Xuejun et als. #AI #LLMs #Math #ITP #LeanProver #AIforMath.
0
2
4
Trinity: an autoformalization system for verified superintelligence. #Autoformalization #AIforMath #ITP #LeanProver.
0
0
3
Join the movement. Build faster, prove smarter. Discover more: [your website or CTA link].#ONProver #AIForMath #ProofTech.
0
0
2
0
0
1
Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'. #ITP #LeanProver #Math #AIforMath #Teaching.
0
0
5
Readings shared June 10, 2025. #AI #AIforMath #ATP #AlphaProof #Emacs #ITP #IsabelleHOL #LLMs #LeanProver #Math #Prover9.
0
0
2
0
0
0
Readings shared June 19, 2025. #AI #AIforMath #CoqProver #ITP #IsabelleHOL #LLMs #LeanProver #Math #Rocq.
0
0
1
Readings shared June 15, 2025. #AI #AIforMath #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Math #Programming #Rocq.
0
0
0
El proyecto ETP (Un caso de estudio en investigación matemática colaborativa y formalizada). #AIforMath #ITP #LeanProver #Math.
0
0
0