00:00 / 03:09
连播
清屏
智能
倍速
点赞NaN
00:00 / 03:01
连播
清屏
智能
倍速
点赞77
Qiuming2月前
谷歌DeepMind研发的AI智能体Aletheia 近日,谷歌DeepMind研发的AI智能体Aletheia在数学界顶级挑战赛“FirstProof”中一鸣惊人,凭借完全自主的推理能力,成功解决了10道公认的极难数学问题中的6道。DeepMind高管Thang Luong表示,这一成就的意义甚至超过了去年AI获得国际数学奥林匹克(IMO)金牌的历史性时刻,因为它标志着AI已经能够胜任博士级别的纯粹数学研究。 Aletheia的核心突破在于其“自我过滤”机制。它内部设有“生成者”和“验证者”两个子系统,通过不断自我博弈来避免AI常见的“幻觉”问题。在解题过程中,对于无法确定的题目,Aletheia会坦率地表示“未找到解法”,而不是胡乱编造答案,这种严谨性赢得了顶尖学者的信任。 本次被攻克的第7题尤其震撼。这道困扰数学界数年的代数拓扑难题,不仅被Aletheia成功解答,其解题过程更得到了原提出者的亲自认证。Aletheia投入了前所未有的16倍算力,巧妙地运用了多个深奥的数学定理,展现出了惊人的逻辑串联能力。 菲尔兹奖得主、著名数学家陶哲轩在最新访谈中将AI定位为自己的“初级合著者”。他指出,AI正引领数学研究从传统的“个案研究”转向“大样本普查”,它能不知疲倦地处理人类望而却步的繁琐推演,并系统性地扫描海量问题,从中寻找突破口。 随着FrontierMath等基准测试题库被AI快速“刷穿”,以及FirstProof挑战赛的成功,人类正面临一个紧迫的问题:出题的速度已经快跟不上AI答题的速度。为了继续检验AI的极限,Epoch AI已推出包含真正未解之谜的“Open Problems”题库,而FirstProof团队也宣布将于3月14日启动难度更高的第二轮挑战。人类数学的最后一道防线还能守多久,答案或许很快就会揭晓。 https://x.com/rohanpaul_ai/status/2026559039241597070?s=20 https://www.theatlantic.com/technology/2026/02/ai-math-terrance-tao/686107/
00:00 / 03:56
连播
清屏
智能
倍速
点赞9
00:00 / 01:14
连播
清屏
智能
倍速
点赞4
Ya-Ling.1周前
二十岁的解方程式 二十岁的我,总急着要解出人生这道复杂的大题。 想要成熟稳重,想要兼具经济独立与灵魂的自由,甚至想一跃就拥有三十岁的阅历与从容。可现实却像一道难解的高数题,步骤繁琐,答案总也不那么直观。 大家都说二十出头是黄金岁月,可在我眼里,这更像是刚接触新几何学的迷茫期。我一边在学业与前途间推演,为那一场场关乎未来的考试验算;一边又在现实的社会规则里,硬着头皮练习如何做一个得体的“社会人”,不得不一点点剥去身上的学生气。 我是一名数学师范生,本该逻辑缜密、冷静克制。可此刻,我的内心却在上演一场激烈的分类讨论:向往自由又贪恋安稳,渴望展示自我又畏惧人言。我讨厌人情世故的复杂变量,却又必须在这个复杂的函数里,找到一个最优解。 二十岁的彷徨,就像解方程时的卡壳。那些理想的“最优解”,往往在现实的“约束条件”下,不得不一次次调整路径。我也曾因考试的失利、备考的摇摆而自我怀疑,觉得那些“春天的生长痛”在隐隐作痛。 但我忘了,成长教会我最宝贵的从不是完美的结果,而是直面困境的韧性。每一次失意与跌倒,都是在告别错的选择;每一段自我拉扯、反复纠结的时光,都在沉淀打磨自我,在漫长的岁月里,慢慢沉淀出从容成熟的模样。 人生本就不是一道有标准答案的压轴题,而是一道需要耐心演算的证明题。我不再急着求成,因为我知道,所有的积累都在为最后的结论做铺垫。 二十岁的雨季,也是拔节抽穗的关键期。既然前路未知,那就带着数学的严谨与浪漫,继续向前推导吧。 毕竟,最好的风景,往往在下一步的定义域里。
00:00 / 00:31
连播
清屏
智能
倍速
点赞73
00:00 / 13:20
连播
清屏
智能
倍速
点赞1
00:00 / 00:46
连播
清屏
智能
倍速
点赞9
00:00 / 00:58
连播
清屏
智能
倍速
点赞3
00:00 / 06:19
连播
清屏
智能
倍速
点赞26
00:00 / 01:21
连播
清屏
智能
倍速
点赞4
00:00 / 06:33
连播
清屏
智能
倍速
点赞6
00:00 / 00:23
连播
清屏
智能
倍速
点赞967
00:00 / 01:49
连播
清屏
智能
倍速
点赞23