陶哲轩借AI破解数学猜想
所有跟帖:
• 怎么会?很多数学家是教数学的老师/教授 -两女宝妈- ♀ (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