曝谷歌Astra模型证明非sofic群存在，连破多项数学难题
xeophon · x · 2026-08-01
微软研究员 Sebastien Bubeck 透露，谷歌即将推出的下一代主力模型 Astra 在高级数学领域取得了重大突破，成功证明了非 sofic 群（nonsofic groups）的存在性。
此外，Astra 还发布了 10 个附带 Lean 证书和思维链（CoT）解析的证明结果，范围涵盖推翻 Connes 刚性猜想、改进高维球面装箱界限以及电路复杂性等领域。现有模型如 Fable 和 5.6 Sol 在相关论文发布前夜也曾独立得出过部分结论。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(44 条相关)→
「模型」频道最新
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- DeepSeek开启斩杀模式，能力差价格贵的模型面临淘汰 — rickasaurus · 2026-08-01
- 传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬 — Imaginary_Dinner2710 · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01
- Gemini辟谣:AI并未解决10大数学难题 — Dr_Singularity · 2026-08-01
- 谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题 — yacineMTB · 2026-08-01