#AIinMath

Adolfo Neto

@adolfont.github.io

1 month ago

Terence Tao: Machine Assistance and the Future of Research Mathematics YouTube video by SAIR

I am deeply disappointed by Terence Tao's uncritical use of AI.

#LeanLang

#AIinMath

www.youtube.com/watch?v=SuTx...

Hacker News Companion

@hncompanion.com

2 months ago

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

AI News Updates

@ai-latestnews.bsky.social

4 months ago

Accelerating discovery with the AI for Math Initiative The AI for Math Initiative brings together five of the world s most prestigious research institutions.

Excited about the future of math? Discover how the AI for Math Initiative is transforming research with cutting-edge technology! #AIinMath

blog.google/technology/google-deepmi...

Generative AI Project

@lex-ai.bsky.social

6 months ago

Thumbnail for YouTube video: Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

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

Noah Wilson

@noahwilson100.bsky.social

7 months ago

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

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

Hacker News Companion

@hncompanion.com

7 months ago

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

Arron Johnson

@notaryx.ai

1 year ago

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

ByteFeed

@bytefeed.bsky.social

1 year ago

AI Mathematics Assistant: Artificial Intelligence Shapes Complex Problem-Solving Future

bytefeed.ai/mathematics/ai-mathemati...

#AIAssistant #AIinMath #FutureofMath