Stand-up maths: AI是否发现了新的数学？

# Stand-up数学：AI发现了新数学吗？ **频道：** GeneReddit123 来源：https://www.youtube.com/watch?v=ZJ8KThKAfbs ## 描述 纽约市“不必要的细节之夜”将于7月12日举行，购票请访问：https://www.ticketmaster.com/matt-parker-an-evening-of-unnecessary-brooklyn-new-york-07-12-2026/event/300064B84CCCF567 Thomas Bloom记录Erdős问题的网站： www.erdosproblems.com 截至2026年6月30日，AI对Erdős问题贡献的完整状况可在此查看： https://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems 关于新单位距离问题构造的简化交互式可视化工具： https://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6 更多关于视频中提及的每个已解决Erdős问题的详细信息，请参见下方按问题编号分类的内容： Erdős问题 #1043 https://www.erdosproblems.com/1043 来自Sebastien Bubeck的评论：https://x.com/SebastienBubeck/status/1980311866770653632 Terry Tao的Mathstodon帖子：https://mathstodon.xyz/@tao/115385022005130505 Erdős问题 #1026 https://www.erdosproblems.com/1026 Terry Tao关于该解决方案的博客：https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/ Erdős问题 #728 https://www.erdosproblems.com/728 Terry Tao的Mathstodon帖子：https://mathstodon.xyz/@tao/115855840223258103 Kevin Barreto关于AI与问题728的博客：https://www.erdosproblems.com/forum/thread/blog:2 关于Aristotle's Lean证明的详细说明：https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view Erdős问题 #1196 https://www.erdosproblems.com/1196 论文的Arxiv链接：https://arxiv.org/abs/2605.00301 Liam Price与Chat GPT初始对话的记录：https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c Erdős问题 #90 https://www.erdosproblems.com/90 关于猜想反例的评论：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf Lean编程语言： https://lean-lang.org/ 以下是Arxiv关于论文中AI使用的规则详情： https://www.reddit.com/r/math/s/G3tJfBTdSB 这是我在视频末尾提到的论文： https://arxiv.org/html/2605.22763v1 关于AI与数学的莱顿宣言： https://leidendeclaration.ai/ 单位距离猜想之后的后续发现： https://arxiv.org/abs/2605.28781 衷心感谢我的Patreon支持者。他们都是该频道的单位距离对！https://www.patreon.com/standupmaths 路人们是否对我坐在沙滩上边喝咖啡边工作感到困惑？我们永远无从得知，但可以说很可能如此。 勘误 目前没有。如果发现任何错误，请告知！ 剪辑：Gus Melton 编剧、拍摄与表演：Matt Parker 制片：Nicole Jacobus 内容管理：Rhys Jones 音乐：Howard Carter 设计：Simon Wright 和 Adam Robinson MATT PARKER: 站式数学家 网站：http://standupmaths.com/