【导读】星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5让数学证据落在了代码里。
一雪前耻，ChatGPT为OpenAI「正名」！
被Hassabis吐槽太尴尬之后，GPT-5真启发了新的数学结论。
OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。
但被指出GPT并非解决了Erdős问题，而是找到了已经解决这些问题的文献。
之后，他删除了推文并表示自己并非有意误导。
Yann LeCun斥之为「自食其果」：OpenAI被他们自己的GPTards所害。
之后，他在LinkedIn上的发帖，明显低调多了：
现在，事情来了反转——
Sebastien Bubeck被「冤枉」了，AI的确在加速科学进步。
昨天，这个故事来了一个反转——
普林斯顿大学数学博士Boris Alexeev（下图左）和俄亥俄州立大学副教授Dustin G. Mixon（下图右）发现，悬赏1000美元的707号Erdős问题，在被提出前30年，就已经被解决了。
论文地址：https://borisalexeev.com/pdf/erdos707.pdf
事情有些离谱，堪称数学家的「虚空索敌」——
答案比问题早30年，但直到前不久，外界还普遍以为问题没有被解决！
目前，707号Erdős问题已被标注为「Disproved」（被证伪）。
传送门：https://www.erdosproblems.com/go_to/707
这次，Sebastien Bubeck扳回一局，发推表示：
看来文献检索，终究不是件简单的事
发布时间：2025-11-05 19:01
立即订购
在线咨询
返回顶部