曝 Google：Gemini 求解 FOCS/JMLR 七道公开难题并获 Lean 验证
burny_tech · x · 2026-09-03
Google 官方博客称其 Antigravity 编码环境配合 Gemini 3.7 Flash 在 FOCS、JMLR 等学术场域解决了 7 道公开数学难题，其中包括 Knuth 的 Cycles Conjecture——给出 40 多页证明并通过 Lean 形式化验证。此外该系统还从零构建了一个乱序 RISC-V CPU 模拟器，可启动 xv6 进入 shell。原文作者感叹“菲尔兹奖级别的数学如今只是门槛”，媒体尚未广泛报道，消息真实性待进一步证实。
所属事件:Google 多智能体配 Gemini 3.7 Flash 攻克七道数学难题(3 条相关)→
「模型」频道最新
- 「前沿模型 400 美元订阅不可能持久」,团队转向评测开源模型备胎 — ChrisRackauckas · 2026-10-18
- OpenAI 测试列表惊现 aurora 红/绿/蓝三个 alpha 模型检查点 — ChrisGPT · 2026-10-18
- 波兰开发者业余两周造决策模型,开源榜第一超众多商业产品 — lukaszkaiser · 2026-10-18
- DeepSeek V4.1 Flash 智能体分暴涨,长程任务提升但约束遵循下滑 — teortaxesTex · 2026-10-18
- 科学计算大佬实测：日常维护任务开源模型反超，但深挖代码缺陷仍靠 Opus — ChrisRackauckas · 2026-10-18
- DeepSeek V4.1 Flash 冲进 BuildingBench 前五,成本仅 Sonnet 的 1/15 — Lianhuiq · 2026-10-18