以后要不要学数学了，学数学是不是浪费时间

试错数据能不能有更具体的例子？rl里面的exploration不就是试错吗？为什么那个不能用来产生试错的例子？

学习数学是训练思维方式，并不是为了取代电脑/AI/GPT. 类似于，有了AlphaGo仍然可以学围棋

你问问gpt 4.11和4.9谁大

你不定义一下“数学”就直接论证“学数学没啥用”？作为一个数学系学生，合适吗？你论证里的“数学”和普通人学的“数学”有几毛钱关系啊。

再说mathematica出来多少年了，大家认可“学微积分没啥用”了吗？

jepey 发表于 2024-07-16 08:01:47
试错数据能不能有更具体的例子？rl里面的exploration不就是试错吗？为什么那个不能用来产生试错的例子？

那个是低质量的试错。数学家的试错是最有价值的。数学家的错误尝试，判断自己的尝试是错误的，以及回撤到之前的哪一步，这些action包含了非常多关于数学的信息。

目前水平的模型rl中俄试错是低质量的，随机的。

以后模型水平高了那rl中的试错也会变得有意义。

yangkecoy 发表于 2024-07-15 20:39:00
“抛弃现在的基于概率的生成模型 提出新架构”，如果按与概率无关提出的基于某种语法的一些新架构，让他们相互训练，最后做出来的一堆堆模型，可能也满足某种概率分布，也

lean可以直接检查任意证明是不是证明出了定理

madalpaca 发表于 2024-07-16 07:45:00
数学对大部分人(也就是你的“普通人”)没用，这不早就是很显然的事情了吗。我家傍边的大妈只会用计算器算加减乘除，“理财，工作，购物，上学考试等”有啥问题吗？实际上

在目前的阶段，这是糟糕的。理财和学历提升需要学习一些数学的。

Jimmi 发表于 2024-07-16 08:25:12
你不定义一下“数学”就直接论证“学数学没啥用”？作为一个数学系学生，合适吗？你论证里的“数学”和普通人学的“数学”有几毛钱关系啊。

再说mathemati

mathematica能证明定理吗？不能那就根本没法和llm+lean这个技术路线比。

如果加上的限制条件是“学数学对对楼主来说没用”的话那我举双手同意

Push-forward 发表于 2024-7-16 05:17
在目前的阶段，这是糟糕的。理财和学历提升需要学习一些数学的。

佩洛西大妈显然disagree.