ConjectureBench发布：15k开放数学问题，前沿模型已破解百年难题
RexDouglass · x · 2026-08-01
Bespoke Labs推出ConjectureBench，一个包含15k个开放数学问题的集合，旨在让AI智能体易于探索。该基准测试显示，前沿模型已开始解决数十年未解的数学问题，例如用Claude Fable 5推翻自1939年开放的Jacobian猜想，以及解决100多年前的Maxwell问题。
所属事件:ConjectureBench发布，前沿AI模型已破解数十年数学难题(2 条相关)→
「研究」频道最新
- 四足机器人实机实现变形+步行:各姿态单独强化学习、变形时切换策略 — _Stocko_ · 2026-10-16
- KinoGen 用运动学视频生成直接为人形机器人合成全身操作参考动作 — ChongZzZhang · 2026-10-16
- Science Robotics 论文提出 F³ 事件相机预测表征，超越光流 — CSProfKGD · 2026-10-16
- VideoGen-Agent:基于 Qwen3-VL 的 8B 多模态 Agent 用工具循环改写视频生成 — jiqizhixin · 2026-10-16
- 前沿实验室代码多由 AI 编写，论文提出「理解力审计」安全门槛 — ronbodkin · 2026-10-16
- Not Boring 周报：可解释性乐观论、飞行跑车与 tau 蛋白降 73% — Not Boring (Packy McCormick) · 2026-10-16