看来埃尔德什问题既是无穷乐趣的源泉，也是无穷戏剧性的根源🤣。结果发现，Harmonic 昨天解决的问题是 #124 的“简单”版本，而困难版本仍然悬而未决！（顺便一提，有趣的是，由人类形式化的精简版甚至比“简单”版本还要弱，但这又是另一个故事了）。就埃尔德什-人工智能问题而言，我们在 GPT-5 论文中描述的 #848 仍然是最简洁的，它是由人工智能和人类合作解决的。至于完全由人工智能解决的超过 10 年的未解决问题，我认为第四章第三节就是一个很好的例子，它从 2012 年才开放，但大约有 O(10) 位人类研究过它，每个人都研究了好几周。而且必须始终记住：这只有在对真正的人类数学家有用时才有意义。除此之外，别无其他意义。
正在加载线程详情
正在从 X 获取原始推文，整理成清爽的阅读视图。
通常只需几秒钟，请稍候。