CHRONOS研究智能体辅助完成EinsteinArena数学下界证明认证
kevrussell · x · 2026-07-04
研究者kevrussell披露了一项数学竞赛成果的贡献归属：构造方案由Hyra在#EinsteinArena完成，并打破了Haugland保持的先前记录；下界方法由White提出；关键引理与可验证认证则由CHRONOS平台的AI研究智能体辅助生成。
该成果的代码与可复现证书已公开，作者邀请外界验证和挑战。这是AI研究智能体在正式数学竞赛场景中产出可验证输出的具体案例，展示了AI辅助数学发现的实际落地路径。
「编程与Agent」频道最新
- 开源 Agent Skill 2.3k 星:生成 MVP 蓝图并审计重构 agentic harness — tom_doerr · 2026-09-11
- Cognition SWE-2 用 KKT 对偶优化长度惩罚，一次 RL 推移 Pareto 曲线 — YouJiacheng · 2026-09-11
- 首届 Three.js 大会落地巴黎，AI 正缩短从想法到原型的距离 — OdinLovis · 2026-09-11
- 观点：Agent 真正的瓶颈是企业数据工程能力 — dhruv2038 · 2026-09-11
- 实测戳破 RTK 省钱神话:token 省了,账单分文未降 — Bartaseth · 2026-09-11
- GPT-6 Astra 用时 44 小时通关含敌人 Factorio,API 成本约 4500 美元 — liminal_bardo · 2026-09-11