1
AI and Math State of the Art
从奥数金牌到 Erdős 难题，一页看清 AI 在数学研究的最新水位，数学爱好者别错过。
Article URL: https://stunning-naiad-817d91.netlify.app Comments URL: https://news.ycombinator.com/item?id=48644756 Points: 2 # Comments: 1
2
A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It
AI攻克Erdos难题，80年未解数学谜题被OpenAI模型破解，展现深度推理潜能
Article URL: https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84 Comments URL: https://news.ycombinator.com/item?id=48332080 Poin…
3
AI cracks 80-year-old mathematics challenge — researchers are astonished
OpenAI数学家借助AI破解80年未解几何难题，震惊学界
Nature, Published online: 22 May 2026; doi:10.1038/d41586-026-01651-0 The late Hungarian mathematician Paul Erdős thought he had the last word on a ge…
4
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI GPT-5一口气攻克10个80年未解的Erdős数学难题，AI推理再破人类认知天花板
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarra…
5
Open AI solves a 1946 Erdős problem
OpenAI用AI破解1946年数学难题，见证大模型推理能力新突破
Article URL: https://twitter.com/openai/status/2057176201782075690 Comments URL: https://news.ycombinator.com/item?id=48215185 Points: 3 # Comments: 0
6
‘It is incredible’: How AI is transforming mathematics
AI在数学中展现“原始思考”，跨子域建立惊人联系，刷新对机器创造力的认知
Nature, Published online: 19 May 2026; doi:10.1038/d41586-026-01553-1 Thanks to some surprising advances, mathematicians are starting to realize that …