理论计算机科学家Scott Aaronson在Shtetl-Optimized博客发文称,已听到传闻:OpenAI等AI实验室因Navier-Stokes证明引发的敌对反应,正搁置多项理论计算机科学长期未解难题的解决方案,等待更妥善的发布方式。文章指出,Navier-Stokes事件后,实验室吸取教训,避免类似争议重演,同时提到量子复杂性等领域近期已有多项突破正在涌现。
此举显示AI辅助数学研究进入新阶段,发布节奏与学术接受度成为关键变量。
信源:https://scottaaronson.blog/?p=10062
