模型
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%