[控场AI]
模型

AI Open Problem Solver

一个旨在攻克开放数学难题的AI智能体,配备Python数学沙箱和死胡同记忆机制

时间轴 (近 90 天)

10月18日

AI Open Problem Solver 尝试攻克黎曼猜想、P vs NP 等开放数学难题,配备基于 SymPy、NumPy、SciPy 的 Python 数学沙箱,并维护“死胡同记忆”。

待验证50%
10月18日

AI Open Problem Solver 并未解决黎曼猜想,智能体自己给出的成功率估计是0.7%。

待验证50%
10月18日

数学智能体在没有“死胡同记忆”时反复尝试同一思路,加入失败路径记忆后才能持续推进;记忆机制的价值超过模型本身的选择。

待验证50%

全部知识事实 (3)

来源文章