Grok 4.5 找到数学猜想反例
rohanpaul_ai · x · 2026-07-11
Grok 4.5 被描述为在一个困难数学问题上给出了清晰的反例，而且这个反例对应到一个严肃的研究级猜想。
引用里提到，它构造了四维球面上 Poisson 半群超收缩性问题的显式反例；该研究者还说自己测试了其他前沿模型，其中也有模型能找到反例，但他更喜欢 Grok 4.5 的解法，因为它显式、简单、优雅。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- OpenAI 上架 GPT-6.1 Terra:百万上下文、$1/$5 定价,博主却更推 Opus 5.5 — BLCNYY · 2026-10-27
- GPT-6.1 Terra 事实错误率从 22.3% 降至 4.3%，降幅近 81% — haider1 · 2026-10-27
- GPT-6.1 Terra 发布:早期用户称写作与 computer use 表现亮眼 — BenBajarin · 2026-10-27
- GPT-6.1 Terra 跑分曝光:成本低至 Sol 一半,追不平 Astra — Angaisb_ · 2026-10-27
- Artificial Analysis 更新智能指数 v4.3.2，GPT-6.1 Terra 参与横评 — ArtificialAnlys · 2026-10-27
- AA 实测:GPT-6.1 Terra 幻觉率降 50%,准确率还升 2 分 — ArtificialAnlys · 2026-10-27