一个 Grok 4.5 agent 据称 8 分钟反驳 30 年图论猜想
littmath · x · 2026-07-23
有人称一个 AI agent 在 Slack 里反驳了 30 年图论猜想
被引用的帖子称，Capy 在 Slack 里用 Grok 4.5 Medium “意外”破解了 Graph Theory Conjecture 284，并在 8 分钟内找到了一个新的反驳证明。
随后 ChrSzegedy 补充了背景：这些 GRAFFITI 猜想本质上是 90 年代的“AI 之前的自动生成命题”，很多题目因为太孤立，长期没有被认真推进。
所属事件:马斯克称 Grok 4.5 八分钟推翻图论猜想(3 条相关)→
「Fun」频道最新
- Nathan Lambert 晒秋景自拍，回应网友对其背景的好奇 — natolambert · 2026-10-27
- SMBC 家庭漫画：鸡块是「每次喂你时重申的默示契约」 — rickasaurus · 2026-10-27
- 网友自嘲遭黑客入侵：路由器靠零点能运行、锤子量子穿透 iPhone — ctjlewis · 2026-10-27
- 推理社区与 K8s 社区高度重合：万亿市场的 Kubernetes 翻版 — matt_slotnick · 2026-10-27
- yetone 为 magpie 网关故障发「尸检报告」:AI 做错了就要叫 AI 道歉 — lxfater · 2026-10-27
- 「小比的 NBA 梦」：一只兔子篮球生涯只活了 3 秒 — ComprehensiveWin7619 · 2026-10-27