#Erdős conjecture
4 related articles
OpenAI Model Disproves 80-Year-Old Erd…
·2 min
OpenAI Model Disproves 80-Year-Old Erdős Conjecture: The Full Story of How AI Found the Counterexample
OpenAI's AI model found a counterexample disproving an 80-year-old Erdős conjecture. Learn about the human-AI collaboration process, mathematical significance, and AI's breakthrough in pure math.
Read more →
·3 min
OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time
OpenAI's general reasoning model independently disproved Erdős's 1946 unit distance conjecture without human guidance—the first time AI has autonomously solved a core open math problem, verified by nine top mathematicians.
Read more →
·3 min
AI Is Conquering World-Class Math Conjectures — Will Mathematicians Become "Curators"?
AI is cracking world-class math conjectures at scale — from IMO gold medals to the Langlands Program. Terence Tao says math has entered a "proof abundance" era, but AI can't judge research significance. The mathematician's edge is shifting from proving to curating.
Read more →
Industry Insights·2 min
Sam Altman's Three AGI Visions: From Scientific Breakthroughs to Personal AI Assistants
Sam Altman shares OpenAI's three strategic directions: AGI accelerating research, partnering with YC to empower startups, and building personal AGI assistants. A deep analysis of OpenAI's complete AGI deployment path.
Read more →