Anthropic 与哈佛数学家 Levent Alpöge 合作,利用 Claude 直接证伪了困扰数学界超过 100 年的 Carathéodory 猜想,并顺带击碎了 Loewner 指数猜想。Carathéodory 猜想要求至少 2 个脐点,但反例仅给出 1 个,从而证伪该猜想。此外,Claude 在黎曼猜想上取得新纪录,将零点比例下限从 41.6% 提升至 67.2%,而此前 37 年人类仅推进了 0.8%。
Anthropic 与哈佛数学家 Levent Alpöge 合作,利用 Claude 直接证伪了困扰数学界超过 100 年的 Carathéodory 猜想,并顺带击碎了 Loewner 指数猜想。Carathéodory 猜想要求至少 2 个脐点,但反例仅给出 1 个,从而证伪该猜想。此外,Claude 在黎曼猜想上取得新纪录,将零点比例下限从 41.6% 提升至 67.2%,而此前 37 年人类仅推进了 0.8%。