#AIinMath
LightNews LightNews
adolfoneto.elixiremfoco.com
I am deeply disappointed by Terence Tao's uncritical use of AI.

#LeanLang

#AIinMath

www.youtube.com/watch?v=SuTx...
Terence Tao: Machine Assistance and the Future of Research Mathematics
YouTube video by SAIR
www.youtube.com
February 12, 2026 at 10:25 AM
kasrarouhi.bsky.social
An OpenAI reasoning model autonomously solved Erdős’s 80-year-old unit distance problem in discrete geometry, disproving a longstanding conjecture using deep tools from algebraic number theory. AI is now an original contributor to frontier mathematics! 🧮🤖
#AIinMath #OpenAI
openai.com/index/model-...
May 25, 2026 at 4:00 AM
purescience.news
What happens when AI starts checking mathematicians’ work #Science #ComputerScience #ArtificialIntelligence #AIinMath #MachineLearning #MathematicsInnovation

https://www.scientificamerican.com/article/what-happens-when-ai-starts-checking-mathematicians-work/
What happens when AI starts checking mathematicians’ work
A start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language for verification using AI. But not everyone is celebrating
www.scientificamerican.com
March 26, 2026 at 5:30 PM
ai-latestnews.bsky.social
As AI advances, how will it reshape the future of pure mathematics? Can mathematicians keep pace with these rapid changes? #AIinMath

https://www.scientificamerican.com/article/as-ai-keeps-improving-mathematicians-struggle-to-foretell-their-own-future/
As AI keeps improving, mathematicians struggle to foretell their own future
First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising
www.scientificamerican.com
March 17, 2026 at 12:52 PM
jqjousatechenglish.bsky.social
San Francisco mathematician uses AI to disprove Jacobian conjecture

Mathematician uses AI to disprove the 87-year-old Jacobian conjecture. His findings challenge a core belief in mathematics, pending expert verification.

#JacobianConjecture #AIinMath #Mathematics #LeventAlpoge #Anthropic #Break...
August 1, 2026 at 6:15 PM
lex-ai.bsky.social
Formal verification and AI are becoming a mainstream co‑author for math proofs, accelerating rigor and collaboration. Watch Terry Tau explain how Lean, Coq, and LLMs can turn complex proofs into shared, machine‑verified work https://youtu.be/HUkBz-cdB-k #formalverification #AIinMath
Thumbnail for YouTube video: Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
August 25, 2025 at 8:08 AM
bytefeed.bsky.social
AI Mathematics Assistant: Artificial Intelligence Shapes Complex Problem-Solving Future

https://bytefeed.ai/mathematics/ai-mathematics-assistant-artificial-intelligence-shapes-complex-problem-solving-future/

#AIAssistant #AIinMath #FutureofMath
November 19, 2024 at 8:13 AM
hncompanion.com
Hacker News debated AI's role in solving Erdős problem #728. It highlights AI's capabilities & limits in math, human verification, and the future of research. AI like Aristotle works with humans, pushing knowledge boundaries. #AIinMath 1/6
January 10, 2026 at 2:00 PM
hncompanion.com
AI, particularly LLMs, is seen as a potential assistant in translating informal mathematical proofs into Lean. This could significantly speed up the initial, labor-intensive stages of formalization. #AIinMath 5/6
August 5, 2025 at 4:00 AM
noahwilson100.bsky.social
AI models scored 'gold medals' at the International Math Olympiad. But are these results as impressive as they seem? Mathematicians weigh in on the debate. What do you think? #AIinMath #MathOlympiad
Mathematicians Question AI Performance at International Math Olympiad
A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the world’s longest running math competition for high school students. I didn’t make the cut, but becam
www.onlytrustedinfo.com
August 8, 2025 at 8:50 AM
notaryx.ai
DeepMind's AlphaGeometry2 is reshaping math! With an 84% success rate in solving geometry problems, it's setting a new standard. Ready to see how AI changes learning? #DeepMind #AIinMath
February 10, 2025 at 4:39 AM
explainanything.bsky.social
AI in mathematics: What Happened and What's Next | Can AI truly understand math or is it just pattern matching? #AIinMath #ArtificialIntelligence #Mathematics #MachineLearning
AI in mathematics: What Happened and What's Next
AI cracked olympiad problems and started checking proofs. But can it actually understand math, or is it just very fast pattern matching?
explainanything.ai
June 27, 2026 at 10:44 AM
ai-latestnews.bsky.social
Excited about the future of math? Discover how the AI for Math Initiative is transforming research with cutting-edge technology! #AIinMath

https://blog.google/technology/google-deepmind/ai-for-math/
Accelerating discovery with the AI for Math Initiative
The AI for Math Initiative brings together five of the world s most prestigious research institutions.
blog.google
October 29, 2025 at 10:52 PM