从现在开始不要学数学了，学数学就是浪费时间

yuhta 发表于 2024-7-26 18:45
我怎么觉得的相反，这个工作恰恰是让AI做证明题而不是建模？

当然研究工作也不仅仅是证明。人类更适合 ...

你说的没错，这个工作不是关于建模的。这个工作只是证明了AI可以在数学框架下证明nontrivial定理。

Push-forward 发表于 2024-7-26 21:34
关于找到有意思的conjecture，难点在于设计一套针对“有意思”的metric。这种metric比较elusive，但也不 ...

现在谁还傻乎乎的读数学phd啊 为啥我认识的人都是读各种amcs的phd 然后出去装逼的时候说自己是数学phd呢哈哈哈

yuhta 发表于 2024-7-26 18:45
我怎么觉得的相反，这个工作恰恰是让AI做证明题而不是建模？

当然研究工作也不仅仅是证明。人类更适合 ...

我们可以很浪漫的想AI和人类各司其职，实际上大概率发生的事是AI残酷替代人类的绝大部分工作。

不学数学到时候AI算错了人类都检查不出来错误

richard_515 发表于 2024-07-26 19:09:19
不学数学到时候AI算错了人类都检查不出来错误

Lean 确保证明是对的

纯数人here，我觉得我看这个帖子最大的感受是我这个学科能让你们吵起来获得那么高的讨论度我还挺受宠若惊的。。。。

而且我真实的想法是AI赶快帮忙研究前沿数学这学科可tmd太难了我天天精神上被暴打

最后就是不管什么时代学数学都是好的，让你思路清晰，变聪明，所以不管在哪里做什么，都是会让人终身受益的事情

BridgeBaby 发表于 2024-7-26 22:14
纯数人here，我觉得我看这个帖子最大的感受是我这个学科能让你们吵起来获得那么高的讨论度我还挺受宠若惊的 ...

哥们这帖子里大部分包括op都是纯数人

小虎虎123 发表于 2024-7-26 21:17
哥们这帖子里大部分包括op都是纯数人

oh可能我没意识到，为啥感觉都如此激动？

BridgeBaby 发表于 2024-7-26 22:21
oh可能我没意识到，为啥感觉都如此激动？

因为可能立场不同吧哈哈

我觉得人要学习数学，因为可以培养逻辑思维。