到处流传着谣言,称OpenAI即将验证霍奇猜想的证明,而OpenAI或Anthropic可能接近解决Birch–Swinnerton-Dyer猜想。物理学问题是否已被解决?
摘要
谣言暗示OpenAI和Anthropic可能接近解决主要数学猜想,如霍奇猜想和Birch–Swinnerton-Dyer猜想,突显了AI在科学发现中的潜力。
谣言:今天又有一个千禧年大奖难题被AI破解。目前正在进行秘密审查……我不能说是哪一个,因为我不想让任何团队抢先。我自己没有证明,但如果我拿到,会在这里发布并注明作者。来源:https://x.com/bubbleboi/status/2097880935383564496
天啊,到处流传着谣言,称OpenAI即将验证霍奇猜想的证明,而OpenAI或Anthropic可能接近解决Birch–Swinnerton-Dyer猜想。这两个都是千禧年大奖难题,抵抗了数十年的数学研究。如果AI生成的证明被验证,将是数学界的历史性成就,也是AI产生新科学知识的显著展示。事实上,这表明AI能够找到新颖且创造性的解决方案。来源:https://x.com/kimmonismus/status/2097990443690496402
相似文章
Scott Aaronson 今晚在博客上写道,他听说人工智能公司已经解决了理论计算机科学中一些非常长期的开放问题,并且由于 Navier-Stokes 风波,现在搁置了多项重大公告。
Scott Aaronson 报道称,有传言说人工智能公司,可能是 OpenAI,在解决理论计算机科学中长期存在的开放问题上取得了重大进展,但由于最近的争议,正在推迟宣布。
围绕OpenAI传奇数学里程碑的争议
OpenAI声称使用先进的AI模型解决了Navier-Stokes千禧年问题,这引发了关于与NYU和Anthropic的独立研究人员之间潜在数据访问问题的争议。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明,推翻了保罗·埃尔德什(Paul Erdős)一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。
OpenAI刚刚宣称了一项重大的数学发现。部分学术界人士质疑其正当性。
OpenAI声称发现了一个由AI生成的纳维-斯托克斯方程解,这是一个有200年历史的数学问题,但学术界人士正在争议其归属,并指责OpenAI在得知他们的工作后仓促行事。
OpenAI 可能正在解决多个其他千禧年问题
一条推测性推文暗示 OpenAI 即将解决多个千禧年问题,突显了对 AI 进步的兴奋。