贫盗本是捆轮磕 9d ago 最夸张是那个剑桥非数学系的本科生，使用GPT5.5只用了一个半小时就把埃尔德什的一个60年前的猜想证明了，而同在剑桥的一位数学系教授研究这个问题已经花了7年，卡在最后一步。更令人崩溃的是陶哲轩审阅完证明过程后，说人类数学家以往的证明第一步方向就已经错了。AI那个才是对的。 ♥ 128 ↩ 4
哈基粮 9d ago 外语的、绘画的、文学的、还有一大堆专业都焦虑过了，结果就是该转工科的转工科，该考公考编的考公考编，该擦边的擦边，甚至男的也可以擦边。本科同学去年还在练肌肉男擦边，今年都开始女装擦边了[笑哭] ♥ 26 ↩ 1
AGI何时来 9d ago 其实我们目前说的AI会不会对于数学工作造成影响是一个完全不可靠结论 我们回忆一下，最初的时候结论ai完全不会数学，这个时候的gpt3.5鸡兔同笼都要算半天来着， 一年后 啊，好像会点中学数学，结论就从完全不会数学变成，可以辅导中小学生，但是高考题啥的就不太行了 再一年后，嗯嗯，这回高考和奥赛题似乎可以做的不错了，可以拿到银牌了，那么这个时候说法就又变了，高考不算什么，奥赛题也不过是死做题，虽然可以辅助教学，引导思路，但根本不是前沿数学研究 后来，也就是去年吧，终于可以拿到奥赛金牌了，也能做一些小的研究生水平的试错了，说法终于又变成了，虽然有点价值，但是做高深的研究远不行， 到了今年，爆破式的终于开始解决数学猜想，轻松解决数学家解决不了的数学研究，那么说法又变了，数学核心本就不在于解题，而在于审美，在于新体系新架构，在于新方向 嗯嗯，观察可得，每一次的论证，立足点都在不断的后退，希望找到一个绝对安全的地方，希望到达一个AI不可达的区域，之前每次都未能如愿，不知这次如何呢[doge_金箍] ♥ 47 ↩ 10
从来不骑小毛驴2333 9d ago 谈一点外行视角的思考：如今AI在数学猜想证明这类科研工作中，更像一把大筛子。 凡是AI可以通过现有知识迁移解决的问题，大多算不上真正意义上的重大难题——这些问题本就该在既有范式下得到解答。 被筛子留下来、AI束手无策的，才是真问题。它们需要开辟全新范式，创造新工具。攻克这类问题，才能扩大数学边界。目前，就处在这样一个大筛选的阶段。 （不知道这个观点对不对） ♥ 62 ↩ 16
Btboy2023 9d ago 还是缺乏发展的眼光看问题，比如那个莱顿宣言，其实刚出来的时候感觉还是很符合实际的，规范学术界，确定具体规则。但是才三个月不到的今天，民科甚至白丁都已经参与进来甚至取得不亚于官方数学家的成果了，这个很明显是这个宣言制定时完全没想到的，学阀可以压力那些官方数学家，让他们遵守条条框框，但是对于那些民科白丁你又能怎么样？我觉得数学界应该发掘纯数在真正的经济生产上的应用，证明计算交给AI大人，碳基数学家负责从AI大人的思路中提取有意义的启发，创造可以真正应用到经济生活中的数学工具。而不是把精力花在孤芳自赏上。 ♥ 29
Comments
以后请让天才美少女出镜，既然知道有美少女，就不想再看Up了[doge]
♥ 8
最夸张是那个剑桥非数学系的本科生，使用GPT5.5只用了一个半小时就把埃尔德什的一个60年前的猜想证明了，而同在剑桥的一位数学系教授研究这个问题已经花了7年，卡在最后一步。更令人崩溃的是陶哲轩审阅完证明过程后，说人类数学家以往的证明第一步方向就已经错了。AI那个才是对的。
♥ 128 ↩ 4
这不是元辅最区之人吗[笑哭]
♥ 135 ↩ 10
外语的、绘画的、文学的、还有一大堆专业都焦虑过了，结果就是该转工科的转工科，该考公考编的考公考编，该擦边的擦边，甚至男的也可以擦边。本科同学去年还在练肌肉男擦边，今年都开始女装擦边了[笑哭]
♥ 26 ↩ 1
其实我们目前说的AI会不会对于数学工作造成影响是一个完全不可靠结论 我们回忆一下，最初的时候结论ai完全不会数学，这个时候的gpt3.5鸡兔同笼都要算半天来着， 一年后 啊，好像会点中学数学，结论就从完全不会数学变成，可以辅导中小学生，但是高考题啥的就不太行了 再一年后，嗯嗯，这回高考和奥赛题似乎可以做的不错了，可以拿到银牌了，那么这个时候说法就又变了，高考不算什么，奥赛题也不过是死做题，虽然可以辅助教学，引导思路，但根本不是前沿数学研究 后来，也就是去年吧，终于可以拿到奥赛金牌了，也能做一些小的研究生水平的试错了，说法终于又变成了，虽然有点价值，但是做高深的研究远不行， 到了今年，爆破式的终于开始解决数学猜想，轻松解决数学家解决不了的数学研究，那么说法又变了，数学核心本就不在于解题，而在于审美，在于新体系新架构，在于新方向 嗯嗯，观察可得，每一次的论证，立足点都在不断的后退，希望找到一个绝对安全的地方，希望到达一个AI不可达的区域，之前每次都未能如愿，不知这次如何呢[doge_金箍]
♥ 47 ↩ 10
谈一点外行视角的思考：如今AI在数学猜想证明这类科研工作中，更像一把大筛子。 凡是AI可以通过现有知识迁移解决的问题，大多算不上真正意义上的重大难题——这些问题本就该在既有范式下得到解答。 被筛子留下来、AI束手无策的，才是真问题。它们需要开辟全新范式，创造新工具。攻克这类问题，才能扩大数学边界。目前，就处在这样一个大筛选的阶段。 （不知道这个观点对不对）
♥ 62 ↩ 16
自从我选择了统计专业，就开始抱着田园牧歌的心态学数学了[千恋万花动态表情包_呆]纯兴趣爱好才是最开心的
♥ 76 ↩ 13
还是缺乏发展的眼光看问题，比如那个莱顿宣言，其实刚出来的时候感觉还是很符合实际的，规范学术界，确定具体规则。但是才三个月不到的今天，民科甚至白丁都已经参与进来甚至取得不亚于官方数学家的成果了，这个很明显是这个宣言制定时完全没想到的，学阀可以压力那些官方数学家，让他们遵守条条框框，但是对于那些民科白丁你又能怎么样？我觉得数学界应该发掘纯数在真正的经济生产上的应用，证明计算交给AI大人，碳基数学家负责从AI大人的思路中提取有意义的启发，创造可以真正应用到经济生活中的数学工具。而不是把精力花在孤芳自赏上。
♥ 29
_(≧∇≦」∠)_
♥ 32 ↩ 2
教培并非兜底，ai for education的时代也来了
♥ 3 ↩ 1
其实up主做自媒体是副业，元辅代打才是主业[doge]
♥ 49
讲的非常客观准确[支持]llm参与学术过程中的学术规范问题是非常大的问题且必须要注意和限制的
♥ 12 ↩ 3
里面提到了多次“透过表面看本质”类似的话。但我总有一种感觉，这项能力未来AI也未必比人类差
♥ 16 ↩ 3
这位是“一饭之恩”还是“天才美少女”啊。
♥ 11
我觉得不止是数学，ai for math让我觉得现在只要openai和a/想，他们可以用后训练制造出统治任何学科（不需要接触物理世界实验）的ai。
♥ 22 ↩ 4
大一天才美少女[doge]
♥ 7
自从看了up的元辅教学，我的数学成绩已经快到一百四了[星星眼]
♥ 10
小姐姐声音很好听
♥ 18 ↩ 4
GPT能证明主=6么
♥ 13
几个月之前，你还在提供AI做不动的题目。而现在，大家提供的题目真的训出了更好的AI[doge_金箍]
♥ 14