第225章 埃尔德什第228號问题

  这些问题多数表述简洁得像个谜语，但是要证明它们却能让顶尖的数学家穷尽半生。

  陈林提到的那条新闻，其实並不是什么惊天动地的突破。

  某一天，那个常常被媒体称作“陶哲轩的弟子”的普林斯顿数学博士鲍里斯·阿列克谢耶夫宣称，他使用了一个名为“aristotle”的ai系统，在完全无人干预的情况下花费六小时解决了“埃尔德什问题#124號”。

  而几乎同一时间，一家叫“axiommath”的初创公司也官宣其ai独立完成了同一问题的证明。

  这两个消息刚传出来的时候確实震动非常。

  无数数学家都没解出来的难题，一个ai解出来了？

  这不是对人类智商的侮辱吗？

  於是许多媒体煽风点火，趁机散播了一些“ai已经超越人类数学家”“陶哲轩的弟子被机器打败了”之类的惊悚標题，把这个新闻推上了风口浪尖。

  社交平台上，懂数学的不懂数学的都跟著狂欢，仿佛人类理性最后的堡垒已经崩塌。

  然而，等喧囂稍微平息，数学家们仔细审视ai的成果时，才发现事情完全不是那么回事。

  那个所谓被ai攻克的#124號问题，其实早就已经被更早的文献解决了，只是网站上仍然错误地標记成了“未解决”。

  而ai做的，更像一个极其高效的文献搜寻引擎，只是从海量论文中挖出了被遗忘的宝藏而已。

  陶哲轩本人后来也对此做过澄清。

  他说，目前被ai解决的那些埃尔德什问题，大多是难度不高、只需標准工具的“低垂的果实”。

  真正的核心难题，ai还远未触及。