计算机做数学 -6park.com

计算机做数学

送交者: 张旺教授[☆★★声望品衔12★★☆] 于 2021-06-27 21:38 已读 471 次

张旺教授的个人频道

+关注

2018年菲尔兹奖获得者，德国Peter Scholze及其合作者最近成功用计算机验证了他的一个繁琐数学证明。他的雄心很大，想用计算机做数学。

计算机辅助证明数学定理早期最成功例子是著名的四色问题。另一个著名例子是匹兹堡大学的Hales用计算机证明著名的Kepler猜想。华人数学家项武义曾宣称证明了Kepler猜想，但有人发现漏洞。

国内吴文俊很早搞机器证明，是先驱之一。杨路等用计算机验证不等式。

搞机器证明的英国的Kevin Buzzard被邀请做2022年国际数学家大会1小时报告，说明计算机证明登了大雅之堂。

现在计算机还不能取代人做数学。它可以验证证明对错，可以根据人写的程序进行一些推理，但还不能创造新数学。

在将来的将来，计算机能否取代人做数学？如果能做到的话，数学家恐怕也失业了。

喜欢张旺教授朋友的这个贴子的话，

内容来自网友分享，若违规或者侵犯您的权益，请联系我们

所有跟帖: ( 主贴楼主有权删除不文明回复，拉黑不受欢迎的用户 )

(^-^) walkalong 给张旺教授泡上一杯珍珠奶茶！ - walkalong (89 bytes) 06/28/21

难！ (无内容) - kudoof (0 bytes) 06/28/21

我持部分反对意见， - 王二麻子和白龙马 (182 bytes) 06/28/21

肯定可以。 (无内容) - 冷猫居士 (0 bytes) 06/27/21

我认为非常可行！ (无内容) - shoppersVIP (0 bytes) 06/27/21

打开微信，扫一扫[Scan QR Code]
进入内容页点击屏幕右上分享按钮

楼主前期社区热帖：