详细内容或原文请订阅后点击阅览
人工智能揭示了 Erdős 问题的解决方案，更接近于改变数学
法学硕士最近帮助找到了一些长期存在的小问题的解决方案。但一项名为“First Proof”的新计划确实让他们经受了考验
来源:科学美国人去年十月的一个闲适的夜晚，梅赫塔布·索尼 (Mehtaab Sawhney) 开始了一项古老的消遣。他开始仔细浏览 erdosproblems.com 网站，该网站更新了 20 世纪古怪而又不知疲倦的数学家 Paul Erdblac 留下的 1,179 个猜想。
索尼 (Sawhney) 是哥伦比亚大学的数学家，他一直对厄德问题很感兴趣，这些问题涉及数论和组合学中的小问题和核心开放问题。
他遇到了一个问题，#339，这个问题似乎太简单了，在埃尔德斯去世近二十年后仍然“开放”。类似的猜想他以前也见过。 “有很多问题看起来太容易解决了，”索尼说。过去，他曾求助于谷歌。 “最终，通过足够的搜索，我会找到解决方案的参考。”
关于支持科学新闻
如果您喜欢这篇文章，请考虑通过订阅来支持我们屡获殊荣的新闻事业。通过购买订阅，您将有助于确保有关塑造当今世界的发现和想法的影响力故事的未来。
但最近他一直在使用 ChatGPT 作为检查文献的新方法。 “我决定将其插入，然后它就告诉我有一个参考，”索尼说。
进展非常顺利，他联系了一位数学家同事 Mark Sellke，后者最近刚刚从学术岗位休假到 OpenAI 工作。他们共同促使 ChatGPT 挖掘出其他 9 个 Erdblac 问题的丢失解决方案，以及另外 11 个问题的部分解决方案。
“他们现在是有用的研究助理，”麻省理工学院数学家安德鲁·萨瑟兰说。 “那些对法学硕士的唯一经验是早期模型的数学家还没有完全意识到这一点。”
评估事物的状态
关键的一年
无论第一个证明的结果如何，上个月有许多迹象表明法学硕士将很快成为许多数学家工具箱的一部分。