AI能不能用来证明数学定理？ - 新未名空间

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

版主： verdelite， Tlexander

回复

4 帖子 • 分页： 1 / 1

ziganwu楼主: 著名点评; 帖子： 4866; 注册时间： 7月 27, 2022, 8:23 am

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

引用

帖子由 ziganwu楼主 » 10月 17, 2022, 10:55 am

。。。

mitbbsnew: 论坛支柱

mitbbsnew 的博客; 帖子： 10998; 注册时间： 7月 22, 2022, 1:15 pm

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

引用

帖子由 mitbbsnew » 10月 17, 2022, 11:06 am

看过点AI好像用统计。

TheMatrix2: 论坛点评; 帖子： 2497; 注册时间： 8月 20, 2022, 10:11 pm

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

引用

帖子由 TheMatrix2 » 10月 20, 2022, 10:19 am

ziganwu 写了： ↑10月 17, 2022, 10:55 am。。。

能。AI辅助。这是目前正在搞的东西。不光数学，各领域都在搞。而且不是硬搞瞎搞，有路可走。

lwangls: 见习点评; 帖子： 1369; 注册时间： 8月 19, 2022, 3:27 am

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

引用

帖子由 lwangls » 10月 21, 2022, 11:32 pm

四色定理就是用计算机证明的

回复

4 帖子 • 分页： 1 / 1

回到 “STEM”