森多夫猜想被AI和陶哲轩攻破

hencechen · 发表于 2026-8-15 13:18

1、一位名叫Lech Mazur的初创科技公司CEO，借助AI证明了森多夫猜想的一般情况：https://www.proofatlas.ai/papers ... ate_Revision_14.pdf
2、陶哲轩发现，这个AI证明实际上解决了比森多夫猜想更强的问题，可以将其和一个更强的猜想——Phelps–Rodriguez 猜想——作为推论直接得出https://github.com/teorth/sendov

现在数学被ai反复冲刷的程度，也就比当年围棋被阿尔法狗吊打差一点了……

东窗下的鸟 · 发表于 2026-8-15 13:19

都是通过重复计算来验证码，有提出什么开创性的思路吗

—— 来自 S1Fun

hencechen · 发表于 2026-8-15 13:24

东窗下的鸟发表于 2026-8-15 13:19
都是通过重复计算来验证码，有提出什么开创性的思路吗

—— 来自 S1Fun

这次是反证法

zhoutai354 · 发表于 2026-8-15 13:27

我觉就算ai无法成为agi，也是可以辅助加速agi的研发，然后agi辅助加速低价商业可控核聚变的研发

2222222 · 发表于 2026-8-15 13:37

在美研究经费被砍之后，tao好像说过考虑来中国，不知道会不会来

NONORIRI · 发表于 2026-8-15 13:59

2222222 发表于 2026-8-15 13:37
在美研究经费被砍之后，tao好像说过考虑来中国，不知道会不会来

没说考虑过来中国吧，但是有说想离开美国。回老家澳大利亚的可能性更高

		自动登录	找回密码
密码			立即注册

[科技] 森多夫猜想被AI和陶哲轩攻破

评分

评分