分页： 1 / 1
AI能不能用来证明数学定理？
发表于 ： 2022年 10月 17日 10:55
由 ziganwu
。。。
Re: AI能不能用来证明数学定理？
发表于 ： 2022年 10月 17日 11:06
由 mitbbsnew
看过点AI好像用统计。
Re: AI能不能用来证明数学定理？
发表于 ： 2022年 10月 20日 10:19
由 TheMatrix2
能。AI辅助。这是目前正在搞的东西。不光数学，各领域都在搞。而且不是硬搞瞎搞，有路可走。
Re: AI能不能用来证明数学定理？
发表于 ： 2022年 10月 21日 23:32
由 lwangls
四色定理就是用计算机证明的