又三郎-sabu 2026-06-21 最大的问题还是19世纪之后数学发展得过于庞大，以及希尔伯特之后数学的学术组织发展，以至于庞加莱之后再也没可能有人能成为全才了。这也造成了数学各领域长期难以互通和互相解读的情形，以至于需要解决一个数学问题的工具藏在另一个数学分支中，但没人知道这件事。而ai就能承担起这个全才的角色，都不说让ai用已有的数学工具去证明问题，哪怕是提示A领域数学家，你可以去寻找BCD领域的数学工具使用，这就已经是一个重要的破局了，数学高度分工的缺点被解决，并继续支撑数学继续分工发展这应该是ai能代替人类独立创造数学工具和理论前最大的裨益 ♥ 728 ↩ 24
遛遛羊 2026-06-23 很难绷的是，以前人们普遍认为ai会取代工人的任务让工人失业，然后高级知识分子会更吃香。然而现在的情况是具身智能进展不算大，工地工人反而不能被取代，倒是智慧领域的数学和艺术领域的绘画和作曲被冲击了，虽然工厂机器流水线取代工人确实预测对了[笑哭] ♥ 299 ↩ 33
_Core- 2026-06-20 希尔伯特以后，数学不再是个人的数学，而是群体的数学，以往熠熠生辉的大数学家个人英雄主义彻底离去，而如今ai的到来让大数学家的个人英雄主义再次回归，ai没有从0到1的创造能力却能在1到100上做到极致，ai以前的现代数学学者被繁多冗杂的数学分支淹没，一直无法触及数学的边缘，ai出现以后既是大浪淘沙，也是彻底解放数学家的生产力，让数学家有足够的精力与勇气去做从无到有的创作，也帮助数学家看清哪些地方才是从未开发过的处女地，哪些地方不过已填充地图上的漏网之鱼。 ♥ 316 ↩ 20
恩索兹Ansuz 2026-06-20 看下来似乎ai证明虽然强，但是人类对证明进行理解与验证需要花费的功夫也非常高，以后怕不是ai解出了数学问题但人类开始难以理解写的啥了[妙啊] ♥ 169 ↩ 27
function2019 2026-06-20 听了up的解说，我感觉跟围棋阿尔法go太像了，关键胜点都是走在人类认为无意义或者算不清后果的点上，说来说去还是算力的问题。 由此也带出了我的问题：现在的ai，还是那种把输入标记为向量，然后填字接龙的ai吗？这完全不像填字接龙啊，所以从原理上讲，现在的ai到底是如何在‘并未理解问题’的情况下思考问题的呢？难道向量在更高维度里排列，真的能产生魔法？ ♥ 228 ↩ 136
AIS-Jason 2026-06-20 视频里提到的，科学家研究到一半没坚持下去结果后世来看再深入研究就有成果的情况，科学史里可太多了[笑哭] 这方面确实是ai的优势区，可以一条路走到黑再考虑别的 ♥ 98 ↩ 2
橙筱 2026-06-21 看得很感慨。首先感慨的是数学科普工作的困难[颂乐人偶_眯眼笑]，明明只是几个 log 叠在一起换了换位置，弹幕却全在刷“看不懂”；但偏偏这种包含证明细节的视频，又恰恰是观众最想看的。 看到后面，又忍不住在心里反复追问自己这种读数学的普通人存在意义[笑哭]。如今绝大部分研究生阶段的工作已经可以被 AI 替代，让人不禁怀疑：读数学真的还有前途吗？ 以前学竞赛时，我就觉得人的精力终究有限。拿到一道难题，总会想到许多可能的方向，但在考场上把这些思路一一尝试、筛选，最终找到正确路径，本身就是一项极其困难的工作。读研之后，研究方向又受到导师的限制。像GPT这样，借助前沿数论成果去证明离散组合问题，实在不是普通人能够做到的。 ♥ 85 ↩ 11
DKeighteen 2026-06-20 看完只觉得，跨学科跨领域的门槛真的是太大了，像ai这种不计成本直接踏平门槛、把多个领域和方向联系起来的存在，是很难在一个人类个体身上复现的[笑哭]。哪怕有预感，能预测，也没有足够的成本去支付跨域的代价…… 最后俏皮的说，ai的出现就像机械降神，突然出现一个熟练掌握炼气体系、元素魔法、武道体系、言灵体系、等等截然不同的修炼功法并融会贯通的大佬，怎能不让各位武师法师练气士目瞪口呆瞠目结舌呢[脱单doge] ♥ 84 ↩ 6
Comments
建议视频标一下难度吧，数学圈外人直接误闯天家[笑哭]
♥ 1766 ↩ 28
有没有人发现漫士长得越来越像拉马努金了[doge][doge]
♥ 1022 ↩ 30
最大的问题还是19世纪之后数学发展得过于庞大，以及希尔伯特之后数学的学术组织发展，以至于庞加莱之后再也没可能有人能成为全才了。这也造成了数学各领域长期难以互通和互相解读的情形，以至于需要解决一个数学问题的工具藏在另一个数学分支中，但没人知道这件事。而ai就能承担起这个全才的角色，都不说让ai用已有的数学工具去证明问题，哪怕是提示A领域数学家，你可以去寻找BCD领域的数学工具使用，这就已经是一个重要的破局了，数学高度分工的缺点被解决，并继续支撑数学继续分工发展这应该是ai能代替人类独立创造数学工具和理论前最大的裨益
♥ 728 ↩ 24
GPT：注意到
♥ 682 ↩ 10
和大家一起看漫士新视频的我belike
♥ 414 ↩ 5
[花园花铃表情包_.....？]
♥ 465 ↩ 4
很难绷的是，以前人们普遍认为ai会取代工人的任务让工人失业，然后高级知识分子会更吃香。然而现在的情况是具身智能进展不算大，工地工人反而不能被取代，倒是智慧领域的数学和艺术领域的绘画和作曲被冲击了，虽然工厂机器流水线取代工人确实预测对了[笑哭]
♥ 299 ↩ 33
希尔伯特以后，数学不再是个人的数学，而是群体的数学，以往熠熠生辉的大数学家个人英雄主义彻底离去，而如今ai的到来让大数学家的个人英雄主义再次回归，ai没有从0到1的创造能力却能在1到100上做到极致，ai以前的现代数学学者被繁多冗杂的数学分支淹没，一直无法触及数学的边缘，ai出现以后既是大浪淘沙，也是彻底解放数学家的生产力，让数学家有足够的精力与勇气去做从无到有的创作，也帮助数学家看清哪些地方才是从未开发过的处女地，哪些地方不过已填充地图上的漏网之鱼。
♥ 316 ↩ 20
真的越来越像拉马努金了
♥ 228 ↩ 3
所以还是那个观点，AI对人类的数学取了一个闭包
♥ 204 ↩ 8
看下来似乎ai证明虽然强，但是人类对证明进行理解与验证需要花费的功夫也非常高，以后怕不是ai解出了数学问题但人类开始难以理解写的啥了[妙啊]
♥ 169 ↩ 27
听了up的解说，我感觉跟围棋阿尔法go太像了，关键胜点都是走在人类认为无意义或者算不清后果的点上，说来说去还是算力的问题。 由此也带出了我的问题：现在的ai，还是那种把输入标记为向量，然后填字接龙的ai吗？这完全不像填字接龙啊，所以从原理上讲，现在的ai到底是如何在‘并未理解问题’的情况下思考问题的呢？难道向量在更高维度里排列，真的能产生魔法？
♥ 228 ↩ 136
这个能听懂的国内不足一万人[吃瓜]
♥ 173 ↩ 28
警告⚠️播放此视频将让你穿越到半个小时后[doge]
♥ 141 ↩ 1
视频里提到的，科学家研究到一半没坚持下去结果后世来看再深入研究就有成果的情况，科学史里可太多了[笑哭] 这方面确实是ai的优势区，可以一条路走到黑再考虑别的
♥ 98 ↩ 2
你们真能想象出四维，甚至五维吗？高中牲无法理解啊
♥ 119 ↩ 81
依旧连续懵逼半个小时[doge_金箍]
♥ 73 ↩ 9
看得很感慨。首先感慨的是数学科普工作的困难[颂乐人偶_眯眼笑]，明明只是几个 log 叠在一起换了换位置，弹幕却全在刷“看不懂”；但偏偏这种包含证明细节的视频，又恰恰是观众最想看的。 看到后面，又忍不住在心里反复追问自己这种读数学的普通人存在意义[笑哭]。如今绝大部分研究生阶段的工作已经可以被 AI 替代，让人不禁怀疑：读数学真的还有前途吗？ 以前学竞赛时，我就觉得人的精力终究有限。拿到一道难题，总会想到许多可能的方向，但在考场上把这些思路一一尝试、筛选，最终找到正确路径，本身就是一项极其困难的工作。读研之后，研究方向又受到导师的限制。像GPT这样，借助前沿数论成果去证明离散组合问题，实在不是普通人能够做到的。
♥ 85 ↩ 11
看完只觉得，跨学科跨领域的门槛真的是太大了，像ai这种不计成本直接踏平门槛、把多个领域和方向联系起来的存在，是很难在一个人类个体身上复现的[笑哭]。哪怕有预感，能预测，也没有足够的成本去支付跨域的代价…… 最后俏皮的说，ai的出现就像机械降神，突然出现一个熟练掌握炼气体系、元素魔法、武道体系、言灵体系、等等截然不同的修炼功法并融会贯通的大佬，怎能不让各位武师法师练气士目瞪口呆瞠目结舌呢[脱单doge]
♥ 84 ↩ 6