GROK解决三十年前的数学难题

ba lao 2026-07-24 15:52 1

GROK 4.5 解决了一个三十年前的图论猜想。

原贴 justin on X: "Capy accidentally cracked a graph theory conjecture entirely in Slack REFUTED: Graffiti Conjecture 284 (open for ~30 years) We shared the original post in Slack and Capy (running on Grok 4.5 Medium!!!) decided it wanted to take a shot, finding a novel refutation in 8 minutes https://t.co/jeqvUKrslr" / X = 20

最新回复 (4)

Waffle 07-24 16:21

1楼

都降智成傻逼了告诉我解开数学难题 ^-^
ba lao 楼主 07-24 16:22

2楼

马斯克：“我们要有选择性的降智，让不需要 grok 的用户（没充钱的用户）先降智，让需要 grok 的用户（充钱的用户）后降智”
HumanBugs 07-24 16:23

3楼

内部的肯定是不降智的，gpt Claude 都这样
killer 07-24 16:24

4楼

ai模型的降智，普遍存在。不是某一家厂商的问题。

问题是这俩又不冲突，解决数学难题和降智有什么关联么？

我拿5.6sol ultra算1+1=2。别人拿这个解决化学物理数学生物的难题，这俩存在冲突么？

而且降智这个本来就是黑箱，部分人没降智，部分降智了，而且又不是一直降智

* 帖子来源Linux.do

附近帖子