Grok 4.5 找到数学猜想反例
rohanpaul_ai · x · 2026-07-11
Grok 4.5 被描述为在一个困难数学问题上给出了清晰的反例，而且这个反例对应到一个严肃的研究级猜想。
引用里提到，它构造了四维球面上 Poisson 半群超收缩性问题的显式反例；该研究者还说自己测试了其他前沿模型，其中也有模型能找到反例，但他更喜欢 Grok 4.5 的解法，因为它显式、简单、优雅。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — 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
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11
- Engram 随机读取不适合 SSD，CPU 内存低延迟共享或成正解 — bookwormengr · 2026-09-11