打打打劫的 2025-12-14 目前的ai在设计上就是总结提纯现有知识，除非出现新的架构方式，不然是无法产生智能的。所谓的让ai互相学习，只会让模型更加趋同。当然目前的构架已经足以让ai在未来替代90的人力了，人类唯一的优势就是便宜与环保[doge] ♥ 3 ↩ 5
bili_38601163977 2025-12-14 还有个对数学研究可能不是直接帮助的帮助是，一定程度上提高形式化证明的效率。陶哲轩在他的油管频道里面就尝试用AI辅助在Lean中形式化定理的证明。对于某些问题，可能像陶哲轩视频里那样Github Copilot补全一些Lean代码，Claude直接先给写个大概什么的，AI还是能做到的。 ♥ 3
Comments
做科研的一个难点在于，没有人讨论相关课题，所以很难推进，而AI的出现极大的缓解了这个问题
♥ 16 ↩ 6
哈哈哈，数学很快就只有AI在研究了，我们都可以回家打游戏啦
♥ 7 ↩ 7
我不看好，新智元那个公众号内容很多都是炒作
♥ 6 ↩ 5
AI自身的原理，训练集样本分布能覆盖的问题AI可以自行推导论证，但数学难就难在，没有人知道真理是以如何陡峭的变化而被人认识到。
♥ 3
目前的ai在设计上就是总结提纯现有知识，除非出现新的架构方式，不然是无法产生智能的。所谓的让ai互相学习，只会让模型更加趋同。当然目前的构架已经足以让ai在未来替代90的人力了，人类唯一的优势就是便宜与环保[doge]
♥ 3 ↩ 5
还有个对数学研究可能不是直接帮助的帮助是，一定程度上提高形式化证明的效率。陶哲轩在他的油管频道里面就尝试用AI辅助在Lean中形式化定理的证明。对于某些问题，可能像陶哲轩视频里那样Github Copilot补全一些Lean代码，Claude直接先给写个大概什么的，AI还是能做到的。
♥ 3
半年过去了。。。时代变了
♥ 1
AI在学习上还是有大用[doge]
♥ 1
人的思维要语言表述，那么大模型就行
♥ 1
gpt其实已经能做一些统计的证明了。比如最经典的vc dimension推bound.
可以看看我的专栏，小up主，我也是大学生哦[歪嘴]
ds还不错