A 23-year-old individual leveraged GPT-5.4 Pro to solve a 60-year-old mathematical problem known as an Erdős problem. The solution, a proof based on discrete Markov chains, has been verified using the Lean proof assistant. This achievement is being recognized by experts as a significant advancement in number theory, facilitated by artificial intelligence. AI
影响 Demonstrates AI's potential to aid in complex mathematical research and discovery.
排序理由 AI-assisted solution to a long-standing mathematical problem, verified by a proof assistant.
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
