CHRONOS研究智能体辅助完成EinsteinArena数学下界证明认证
kevrussell · x · 2026-07-04
研究者kevrussell披露了一项数学竞赛成果的贡献归属：构造方案由Hyra在#EinsteinArena完成，并打破了Haugland保持的先前记录；下界方法由White提出；关键引理与可验证认证则由CHRONOS平台的AI研究智能体辅助生成。
该成果的代码与可复现证书已公开，作者邀请外界验证和挑战。这是AI研究智能体在正式数学竞赛场景中产出可验证输出的具体案例，展示了AI辅助数学发现的实际落地路径。
「编程与Agent」频道最新
- 零基础学员经 AI 辅导也能跑通完整 CI/CD 流水线 — curious_vii · 2026-10-26
- Ruff 作者感叹:前沿模型能在任何软件里找到无穷多 bug — charliermarsh · 2026-10-26
- 开发者实测同一 skill 跨 Opus 5.5 与 Sol 6.1:指令遵循表现参差 — lucasmeijer · 2026-10-26
- 用小开源模型逆向工程游戏二进制:主 agent 中途重写子 agent 的 harness — yb2698 · 2026-10-26
- ContractSim：首个评估 LLM 自然语言合同谈判的框架 — xuanalogue · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26