Scott Aaronson 今晚在博客上写道，他听说人工智能公司已经解决了理论计算机科学中一些非常长期的开放问题，并且由于 Navier-Stokes 风波，现在搁置了多项重大公告。
摘要
Scott Aaronson 报道称，有传言说人工智能公司，可能是 OpenAI，在解决理论计算机科学中长期存在的开放问题上取得了重大进展，但由于最近的争议，正在推迟宣布。
Scott Aaronson 今晚在博客上写道，他听说人工智能公司已经解决了理论计算机科学中一些非常长期的开放问题，并且由于 Navier-Stokes 风波，现在搁置了多项重大公告。来源：https://x.com/AndrewCurran_/status/2100005852564611151 更多确认表明，OpenAI 在第二个千禧年问题上取得了'重大进展'，这次来自 Greg Brockman。传言称他们即将解决剩余问题中的两个，或者已经解决了。哪两个？未知。Dev Day 将是宣布的好日子。来源：https://x.com/AndrewCurran_/status/2099999310490603856
相似文章
量子计算研究员兼德克萨斯大学奥斯汀分校计算机科学系主任：“我得知AI公司因Navier-Stokes证明的敌对反应而受挫，现在将一些重大问题的解决方案搁置，直到他们找到更好的处理方式”
Scott Aaronson 报告称，由于对公众反应的担忧，AI公司正将重大问题的解决方案搁置，此前因Navier-Stokes证明引发反弹。
Scott Aaronson 表示，实验室“因对Navier-Stokes证明的敌对反应而受挫，现在正将一些重大问题的解决方案暂时搁置，直到他们找到更好的处理方式”
Scott Aaronson 讨论了AI的快速进展，特别是在解决重大数学问题方面，并认为Singularity已经到来，导致未来的不确定性。
围绕OpenAI传奇数学里程碑的争议
OpenAI声称使用先进的AI模型解决了Navier-Stokes千禧年问题，这引发了关于与NYU和Anthropic的独立研究人员之间潜在数据访问问题的争议。
OpenAI刚刚宣称了一项重大的数学发现。部分学术界人士质疑其正当性。
OpenAI声称发现了一个由AI生成的纳维-斯托克斯方程解，这是一个有200年历史的数学问题，但学术界人士正在争议其归属，并指责OpenAI在得知他们的工作后仓促行事。
到处流传着谣言，称OpenAI即将验证霍奇猜想的证明，而OpenAI或Anthropic可能接近解决Birch–Swinnerton-Dyer猜想。物理学问题是否已被解决？
谣言暗示OpenAI和Anthropic可能接近解决主要数学猜想，如霍奇猜想和Birch–Swinnerton-Dyer猜想，突显了AI在科学发现中的潜力。