An amateur solved a 60-year-old Erdős problem using a single GPT-5.4 Pro prompt; Terence Tao says it's a “nice achievement” with unclear long-term significance
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses
Q&A with Terence Tao on AI-generated Erdős solutions, “cheap wins”, hybrid human AI contributions, push-of-a-button workflows, new ways of doing math, and more
Terence Tao, the legendary mathematician, explains the promise of generative AI.
Researchers tested Google DeepMind's AlphaEvolve AI coding agent on 67 mathematical problems and found that it discovered improved solutions to ~20 of them
Really happy to share our new paper on using AlphaEvolve for mathematical exploration at scale, written with Javier Gómez-Serrano, Terence Tao, and @GoogleDeepMind's Bogdan Georgiev. We tested it on 6...
OpenAI unveils o3 and o3-mini, trained to “think” before responding via what OpenAI calls a “private chain of thought”, and plans to launch them in early 2025
12 Days of OpenAI: Day 12 Naomi Li Gan / Tech in Asia : OpenAI unveils AI model for advanced reasoning Bojan Stojkovski / Interesting Engineering : OpenAI unveils o3 reasoning AI model to tackle compl...
Q&A with UCLA's Terence Tao, widely considered the world's greatest living mathematician, on OpenAI's o1, how AI might be useful to mathematicians, and more
Terence Tao, the world's greatest living mathematician, has a vision for AI. — Terence Tao, a mathematics professor at UCLA, is a real-life superintelligence.