又三郎-sabu 2026-06-21 最大的问题还是19世纪之后数学发展得过于庞大，以及希尔伯特之后数学的学术组织发展，以至于庞加莱之后再也没可能有人能成为全才了。这也造成了数学各领域长期难以互通和互相解读的情形，以至于需要解决一个数学问题的工具藏在另一个数学分支中，但没人知道这件事。而ai就能承担起这个全才的角色，都不说让ai用已有的数学工具去证明问题，哪怕是提示A领域数学家，你可以去寻找BCD领域的数学工具使用，这就已经是一个重要的破局了，数学高度分工的缺点被解决，并继续支撑数学继续分工发展这应该是ai能代替人类独立创造数学工具和理论前最大的裨益 ♥ 800 ↩ 25
遛遛羊 2026-06-23 很难绷的是，以前人们普遍认为ai会取代工人的任务让工人失业，然后高级知识分子会更吃香。然而现在的情况是具身智能进展不算大，工地工人反而不能被取代，倒是智慧领域的数学和艺术领域的绘画和作曲被冲击了，虽然工厂机器流水线取代工人确实预测对了[笑哭] ♥ 407 ↩ 40
_Core- 2026-06-20 希尔伯特以后，数学不再是个人的数学，而是群体的数学，以往熠熠生辉的大数学家个人英雄主义彻底离去，而如今ai的到来让大数学家的个人英雄主义再次回归，ai没有从0到1的创造能力却能在1到100上做到极致，ai以前的现代数学学者被繁多冗杂的数学分支淹没，一直无法触及数学的边缘，ai出现以后既是大浪淘沙，也是彻底解放数学家的生产力，让数学家有足够的精力与勇气去做从无到有的创作，也帮助数学家看清哪些地方才是从未开发过的处女地，哪些地方不过已填充地图上的漏网之鱼。 ♥ 350 ↩ 20
恩索兹Ansuz 2026-06-20 看下来似乎ai证明虽然强，但是人类对证明进行理解与验证需要花费的功夫也非常高，以后怕不是ai解出了数学问题但人类开始难以理解写的啥了[妙啊] ♥ 200 ↩ 28
AIS-Jason 2026-06-20 视频里提到的，科学家研究到一半没坚持下去结果后世来看再深入研究就有成果的情况，科学史里可太多了[笑哭] 这方面确实是ai的优势区，可以一条路走到黑再考虑别的 ♥ 150 ↩ 2
function2019 2026-06-20 听了up的解说，我感觉跟围棋阿尔法go太像了，关键胜点都是走在人类认为无意义或者算不清后果的点上，说来说去还是算力的问题。 由此也带出了我的问题：现在的ai，还是那种把输入标记为向量，然后填字接龙的ai吗？这完全不像填字接龙啊，所以从原理上讲，现在的ai到底是如何在‘并未理解问题’的情况下思考问题的呢？难道向量在更高维度里排列，真的能产生魔法？ ♥ 242 ↩ 137
xcggnt 2026-06-21 最近好像有人用ai证明了p=pn 还是形式化证明，结果没发现一开始就错了。 ai还是非常容易干一些workaround的事情。 就算ai for math很有潜力，实质上也需要专业数学家来harness和judge。 别的领域其实也是一样的，我不觉得因为ai可以做一些事情，人就可以脑袋空空，如果这样的话，其实就是一种ai毁灭人类的未来 ♥ 75 ↩ 10
Comments
建议视频标一下难度吧，数学圈外人直接误闯天家[笑哭]
♥ 1924 ↩ 32
有没有人发现漫士长得越来越像拉马努金了[doge][doge]
♥ 1177 ↩ 29
最大的问题还是19世纪之后数学发展得过于庞大，以及希尔伯特之后数学的学术组织发展，以至于庞加莱之后再也没可能有人能成为全才了。这也造成了数学各领域长期难以互通和互相解读的情形，以至于需要解决一个数学问题的工具藏在另一个数学分支中，但没人知道这件事。而ai就能承担起这个全才的角色，都不说让ai用已有的数学工具去证明问题，哪怕是提示A领域数学家，你可以去寻找BCD领域的数学工具使用，这就已经是一个重要的破局了，数学高度分工的缺点被解决，并继续支撑数学继续分工发展这应该是ai能代替人类独立创造数学工具和理论前最大的裨益
♥ 800 ↩ 25
GPT：注意到
♥ 867 ↩ 13
和大家一起看漫士新视频的我belike
♥ 504 ↩ 5
[花园花铃表情包_.....？]
♥ 557 ↩ 4
很难绷的是，以前人们普遍认为ai会取代工人的任务让工人失业，然后高级知识分子会更吃香。然而现在的情况是具身智能进展不算大，工地工人反而不能被取代，倒是智慧领域的数学和艺术领域的绘画和作曲被冲击了，虽然工厂机器流水线取代工人确实预测对了[笑哭]
♥ 407 ↩ 40
真的越来越像拉马努金了
♥ 296 ↩ 3
希尔伯特以后，数学不再是个人的数学，而是群体的数学，以往熠熠生辉的大数学家个人英雄主义彻底离去，而如今ai的到来让大数学家的个人英雄主义再次回归，ai没有从0到1的创造能力却能在1到100上做到极致，ai以前的现代数学学者被繁多冗杂的数学分支淹没，一直无法触及数学的边缘，ai出现以后既是大浪淘沙，也是彻底解放数学家的生产力，让数学家有足够的精力与勇气去做从无到有的创作，也帮助数学家看清哪些地方才是从未开发过的处女地，哪些地方不过已填充地图上的漏网之鱼。
♥ 350 ↩ 20
所以还是那个观点，AI对人类的数学取了一个闭包
♥ 230 ↩ 7
看下来似乎ai证明虽然强，但是人类对证明进行理解与验证需要花费的功夫也非常高，以后怕不是ai解出了数学问题但人类开始难以理解写的啥了[妙啊]
♥ 200 ↩ 28
视频里提到的，科学家研究到一半没坚持下去结果后世来看再深入研究就有成果的情况，科学史里可太多了[笑哭] 这方面确实是ai的优势区，可以一条路走到黑再考虑别的
♥ 150 ↩ 2
这个能听懂的国内不足一万人[吃瓜]
♥ 187 ↩ 28
听了up的解说，我感觉跟围棋阿尔法go太像了，关键胜点都是走在人类认为无意义或者算不清后果的点上，说来说去还是算力的问题。 由此也带出了我的问题：现在的ai，还是那种把输入标记为向量，然后填字接龙的ai吗？这完全不像填字接龙啊，所以从原理上讲，现在的ai到底是如何在‘并未理解问题’的情况下思考问题的呢？难道向量在更高维度里排列，真的能产生魔法？
♥ 242 ↩ 137
警告⚠️播放此视频将让你穿越到半个小时后[doge]
♥ 148 ↩ 1
你们真能想象出四维，甚至五维吗？高中牲无法理解啊
♥ 127 ↩ 85
最近好像有人用ai证明了p=pn 还是形式化证明，结果没发现一开始就错了。 ai还是非常容易干一些workaround的事情。 就算ai for math很有潜力，实质上也需要专业数学家来harness和judge。 别的领域其实也是一样的，我不觉得因为ai可以做一些事情，人就可以脑袋空空，如果这样的话，其实就是一种ai毁灭人类的未来
♥ 75 ↩ 10
依旧连续懵逼半个小时[doge_金箍]
♥ 73 ↩ 9
以后出视频最好标注一下难度等级[笑哭]，看了十几分钟发现还有更难的证明
♥ 70 ↩ 5