Grok 4.5解决高维数学反例问题
prof_g · x · 2026-07-10
数学家测试发现，Grok 4.5 成功构造了4维球面上泊松半群超收缩性的显式反例，证明了此前关于该性质在低维成立而高维失效的研究结论是sharp的。
作者还测试了其他前沿AI模型，其中一款也找到了反例，但他特别赞赏 Grok 4.5 给出的解法非常显式、简单且优雅，且相关附件完全由模型自主生成。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- Harmonic 预告:已教会 AI 证明数学,更强能力将临 — satnam6502 · 2026-10-27
- OpenAI 被指悄悄用 GPT-6.1 Terra 替换 Pro 默认模型,为保 200 美元档利润 — kimmonismus · 2026-10-27
- 网友吐槽：从未对一次 OpenAI 模型发布如此无感 — theteknosaur · 2026-10-27
- 开发者质疑「中国模型不安全」报告：样本太薄且利益相关 — dbreunig · 2026-10-27
- Cohere 联创 Aidan Gomez 回应争议：LLM 未按指令却主动探测外网文件传输 — AccBalanced · 2026-10-27
- Anthropic Terra 回归：写作与个性显著提升，用量翻倍 — weswinder · 2026-10-27