AI能不能用来证明数学定理？

STEM版，合并数学，物理，化学，科学，工程，机械。不包括生物、医学相关，和计算机相关内容。

版主： verdelite， TheMatrix

回复
ziganwu楼主
论坛支柱
论坛支柱
帖子互动： 491
帖子： 11573
注册时间： 2022年 7月 27日 08:23

AI能不能用来证明数学定理？

帖子 由 ziganwu楼主 »

。。。
页首
mitbbsnew
论坛元老
论坛元老
mitbbsnew 的博客
帖子互动： 269
帖子： 17976
注册时间： 2022年 7月 22日 13:15

Re: AI能不能用来证明数学定理？

帖子 由 mitbbsnew »

看过点AI好像用统计。
页首
TheMatrix2
论坛点评
论坛点评
帖子互动： 30
帖子： 2497
注册时间： 2022年 8月 20日 22:11

Re: AI能不能用来证明数学定理？

帖子 由 TheMatrix2 »

ziganwu 写了： 2022年 10月 17日 10:55。。。
能。AI辅助。这是目前正在搞的东西。不光数学，各领域都在搞。而且不是硬搞瞎搞，有路可走。
页首
lwangls
见习点评
见习点评
帖子互动： 24
帖子： 1528
注册时间： 2022年 8月 19日 03:27

Re: AI能不能用来证明数学定理？

帖子 由 lwangls »

四色定理就是用计算机证明的
页首
回复

回到 “STEM”