数学界最大的争议：机器算出的答案，到底算不算真正的证明？

数学界最大的争议：机器算出的答案，到底算不算真正的证明？

即闻探世界1

江西

0

• 学了这么多年的导数，我们学会了普通的求导运算，可你真正明白导数到底是什么吗？它跟我们的日常生活又有什么关系呢？

  宇宙科学探索 2跟贴 打开APP

  

• 《巴塞尔问题》，一串加法，为啥会冒出圆周率π？

  笑栗动物园 6跟贴 打开APP

  

• 科普冷知识：直线与平面的点居然一样多

  老友地理 1跟贴 打开APP

  

• 刷盘子的博士，改写了 160 年数学难题

  即闻探世界1 1跟贴 打开APP

  

• 反直觉数学：所有自然数的和是负十二分之一？

  六六冷知识 3跟贴

  

• 验算 400 亿亿次依旧无解，世上最折磨数学家的谜题

  疯狂动物园啊 1跟贴

  

• 讲真，是球网先动手的！！！

  新媒体 58跟贴

  

• 论背景音乐的重要性！！

  新媒体 2跟贴

  

• 旁边有个抢活的…怎么办？人都过去了？

  新媒体

  

• 多喝热水，热水治百病！

  新媒体 69跟贴

  

• 这滑的挺远的哈，棒棒哒

  新媒体 2跟贴

  

• 战斗民族糗事汇，每个都是爆笑

  新媒体 8跟贴

  

• 二货是怎样找钥匙的

  新媒体 3跟贴

  

• 这谁爸爸给我来一沓

  新媒体 2跟贴

  

• 配合的真好，，默契

  新媒体 8跟贴

  

• 熊孩子会拆家，不输二哈

  新媒体

  

• 难道这是传说中的摸头杀？

  新媒体

  

• 灰姑娘为了追小偷，把高跟鞋砸在总裁的豪车上，太霸气了

  新媒体 2跟贴

  

• 蝼蚁尚且还有一丝怜悯之心，何况万物皆有灵性！

  新媒体

  

• 动作很慢，但是我想知道是什么感觉

  新媒体

  

• 这么热的天气非常适合这首曲子

  新媒体