陶哲轩借AI破解数学猜想

以后低等级数学家，博士生，助研估计不需要了。除了石头里面蹦出的数学天才，普通文学城的数学大牛都要失业？

陶哲轩借AI破解数学猜想，形式化成功惊呆数学圈

https://www.ithome.com/0/737/380.htm

 

 

所有跟帖： 

• 怎么会？很多数学家是教数学的老师/教授 -两女宝妈- ♀ (0 bytes) () 12/07/2023 postreply 11:29:37

• 如果弄的很深很深， 人类都不懂了， 意义何在？ -我是大海- ♀ (0 bytes) () 12/07/2023 postreply 11:41:00

• 普通人类不懂没关系，数学的存在其实是对科技的进步做支撑，意义还是很大的。但是数学老师的存在意义也很大 -两女宝妈- ♀ (0 bytes) () 12/07/2023 postreply 11:43:06

• 同意！ -我是大海- ♀ (0 bytes) () 12/07/2023 postreply 12:02:28

• 只是用AI读数学文章吧，里面提到LATEX，倒是减少个人判断证明的失误? -zaocha2002- ♀ (0 bytes) () 12/07/2023 postreply 12:04:11

• AI 是对TAO 已经做出的论文进行形式化 -trivial- ♀ (1152 bytes) () 12/07/2023 postreply 12:19:24

• 这些本来是助手的工作 -wzg69- ♂ (105 bytes) () 12/07/2023 postreply 13:15:25

• 数学家没助手。 -trivial- ♀ (0 bytes) () 12/07/2023 postreply 15:57:09