Grok 4.5解决高维数学反例问题
prof_g · x · 2026-07-10
数学家测试发现，Grok 4.5 成功构造了4维球面上泊松半群超收缩性的显式反例，证明了此前关于该性质在低维成立而高维失效的研究结论是sharp的。
作者还测试了其他前沿AI模型，其中一款也找到了反例，但他特别赞赏 Grok 4.5 给出的解法非常显式、简单且优雅，且相关附件完全由模型自主生成。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- BullshitBench 榜单更新:GPT-6-Astra 领先历代 OpenAI 模型仍未及 Anthropic — scaling01 · 2026-09-11
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11