#今天要来点数学吗?# #人工智能[超话]# 午夜#学术新闻#

关于AI独立解决有严肃背景的数学问题，我为返朴写了一篇相关报告，记录/考证/澄清最开始的炒作和真正意义上的里程碑时刻。过段时间应该能发出来。

不过只要扯上AI，那就是计划赶不上变化。

自GPT5.5推出不到48小时，就有20个Erdos problem的答案提交。

过去24小时就有5个问题确认从open→solved状态。实际上，著名数学家Thomas Bloom 创建维护的重要网站http://t.cn/A6pTHDLJ，因AI提交答案太多，已经濒临瘫痪。

另外，前些时间也被媒体大大炒作一番的Erdős Problem 1196，确实有点东西，它可能是第一个被AI独创方法解决的问题。但是应该没有某些自媒体报道的那么夸张。

它的方法可以推广，过几天会有更多报告和论文。

值得注意的有趣状况是，在 AI 撰写的数学证明/论文中存在非常频繁出现的语言，而在人类写作中却几乎从未出现。

例如，AI 总是想谈论证明的“架构”。它也非常喜欢为每个步骤取一个朗朗上口的名字。

另一个特别的用法是“spine”，比如“该证明的脊梁是……”。