陶哲軒借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