一名 23 岁的个人利用 GPT-5.4 Pro 解决了被称为 Erdős 问题的一个有 60 年历史的数学问题。该解决方案，即基于离散马尔可夫链的证明，已通过 Lean 证明助手得到验证。这一成就被专家认为是数论领域的一项重大进展，得益于人工智能的协助。 AI
影响 展示了人工智能在协助复杂数学研究和发现方面的潜力。
排序理由 人工智能辅助解决长期存在的数学问题，并由证明助手验证。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
heise reports: A 23-year-old used GPT-5.4 Pro to crack a 60-year-old Erdős problem — a discrete, Markov-chain-based proof now verified in Lean. Experts call it a notable AI-assisted breakthrough in number theory. 🔬🤖📐 Read more: https://www. heise.de/en/news/Creative-solu tion-AI-…