森多夫猜想被AI和陶哲轩攻破
1、一位名叫Lech Mazur的初创科技公司CEO，借助AI证明了森多夫猜想的一般情况：https://www.proofatlas.ai/papers/sendov-conjecture-proof-candidate/Mazur_Sendov_Conjecture_Proof_Candidate_Revision_14.pdf2、陶哲轩发现，这个AI证明实际上解决了比森多夫猜想更强的问题，可以将其和一个更强的猜想——Phelps–Rodriguez 猜想——作为推论直接得出https://github.com/teorth/sendov
现在数学被ai反复冲刷的程度，也就比当年围棋被阿尔法狗吊打差一点了…… 都是通过重复计算来验证码，有提出什么开创性的思路吗
—— 来自 S1Fun 东窗下的鸟 发表于 2026-8-15 13:19
都是通过重复计算来验证码，有提出什么开创性的思路吗
—— 来自 S1Fun
这次是反证法 我觉就算ai无法成为agi，也是可以辅助加速agi的研发，然后agi辅助加速低价商业可控核聚变的研发 在美研究经费被砍之后，tao好像说过考虑来中国，不知道会不会来 2222222 发表于 2026-8-15 13:37
在美研究经费被砍之后，tao好像说过考虑来中国，不知道会不会来
没说考虑过来中国吧，但是有说想离开美国。回老家澳大利亚的可能性更高
页:
[1]