陶哲轩发起的反 Galois 问题 AI 挑战赛完成第一阶段
tak3sh8 · x · 2026-09-15
数学家陶哲轩转发了其联合组织的 SAIR/LMFDB inverse Galois 挑战赛的进展：该挑战赛第一阶段已经完成，目标是利用 AI 辅助寻找具有指定 Galois 群的多项式。这是 AI 与纯数学研究结合的又一个具体案例，挑战赛的成果与数据放在 LMFDB（L-函数与模形式数据库）体系内推进。原文是一个更长线程中的例子之一，作者称这是该方向近期完成的第二类实例。
「研究」频道最新
- 思科发布 VLoc Bench:GPT-5.5 找全仓库漏洞 F1 仅 0.221 — aminkarbasi · 2026-09-15
- 蚂蚁开源 HazardAuditor:为计算机操作 Agent 提供执行级安全监督 — antgroup · 2026-09-15
- Agent as Policy:通用智能体写代码直接操控真实机械臂 — Mengzhao Jia · 2026-09-15
- AutoResearchExam 开源 agent 研究基准 harness,默认 24 小时时限 — AlexGDimakis · 2026-09-15
- 新论文提出 Meld 神经绑定操作，或最接近句法 Merge 的机制 — abenitezburraco · 2026-09-15
- BVB 基准：让 agent 用 Blender 重建 288 段真实视频检验理解力 — SonglinYang4 · 2026-09-15