AI证明372道难题遭抵制，陶哲轩转发怒斥！人类看不懂的证明，算真理吗？

AI证明372道难题遭抵制，陶哲轩转发怒斥！人类看不懂的证明，算真理吗？

凤凰网科技

北京

0

• 蔡国庆的漂亮老婆首次亮相，夫妻俩看8岁儿子走秀，高颜值一家人

  刺头体育 打开APP

  

• 中国小伙娶老挝媳妇，给全村孩子买拖鞋，花350万给大姨姐买床垫

  甜瓜唠生活 打开APP

  

• 台北市长若易主！沈伯洋如果胜选，蒋万安会效仿陈水扁冲刺2028吗

  观星赏月 打开APP

  

• 火星生命之谜？祝融号传回数据揭开40亿年前火星的悲剧

  小蒋科普君 打开APP

  

• 回顾：伊朗这一场仗打下来，全球的视线一下子都转到了中国身上！

  别跟我提回忆

  

• 回顾：金砖五国中，为啥只剩中国一金，其它4国却＂褪色＂变成＂砖＂？

  承受之重

  

• 为啥中国不引进外籍廉价劳工？美国的前车之鉴早已给出答案

  观澜财经v

  

• 当牛做马十九年守家，到头来落得孤苦无依，超哥点评：自食恶果

  华庭讲美食 70跟贴

  

• 离职手续刚办完，总监催我修二百六十万国产机床，我掏出报价单：不修了

  时尚的弄潮

  

• 小马科斯对杜特尔特家族发起总攻，女儿面临弹劾，两个儿子也被盯上

  星空解密站

  

• 美国越来越焦虑中国的原因

  奥利奥变薄了的

  

• 回顾：为何美国、日本第一时间就知道中国的决策、军事及重大的工程？

  哭蓝了海a

  

• 回顾：打伊这一仗，让美算了一笔账？

  潇湘烟雨水

  

• 郭正亮：美国霸权失势后，英法才是最该忧虑的？

  经点星娱

  

• 中国为什么造不出高端轴承？每年大量进口，国产轴承钢不行吗？

  原广工业

  

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

  新媒体 77跟贴

  

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

  新媒体 2跟贴

  

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

  新媒体

  

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

  新媒体 69跟贴

  

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

  新媒体 2跟贴

  

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

  新媒体 8跟贴