Последние добавленные видео:
AI數學家
-
3 часа назад
1429 3 часа назад 1:59廣州「00後」創立公司打造出「AI數學家」 獲巨額融資躋身獨角獸企業｜兩岸新聞｜無綫新聞｜TVB News｜2026/03/20
-
7 месяцев назад
96 7 месяцев назад 6:47世界级的 AI 数学家，很可能在明年出现——前谷歌CEO施密特
-
3 недели назад
27470 3 недели назад 19:0157岁美国数学泰斗辞职，给24岁中国姑娘打工！AI界震动，真相太颠覆#洪乐潼AI数学家#小野健辞职追随中国00后#中国00后震惊世界#AI攻克世界级数学难题#潮汕姑娘洪乐潼#MIT天才少女#退学创业
-
1 месяц назад
62 1 месяц назад 7:22Axiom之谜：24岁中国少女打造AI数学家
-
3 недели назад
8952 3 недели назад 22:10【人工智能】数学天才入局AI | 陶哲轩 | Sair基金会 | 形式化验证 | Lean语言 | 逻辑证明 | 大语言模型LLM | 科学工作流 | 形式化代码 | 机器学习 | 严谨科学
-
![[Amazing] AI Solves Century-Old Math Problem｜【厲害】AI 破解了百年數學難題](https://imager.clipsaver.ru/U1chnD6xrlo/max.jpg)
5 месяцев назад
12303 5 месяцев назад 12:10[Amazing] AI Solves Century-Old Math Problem｜【厲害】AI 破解了百年數學難題
-
5 дней назад
557 5 дней назад 2:44AI是否会取代数学家？“80后”院士刘若川给出答案
-
9 месяцев назад
9987 9 месяцев назад 8:05【人工智能】AlphaEvlove助力18年数学难题一个月三次突破 | 和差集问题 | 陶哲轩 | 广度扫描 | 深度打磨 | 测度集中 | AI与人类共舞 | 科学发现新范式
-
2 месяца назад
8725 2 месяца назад 14:36【人工智能】AI如何重塑数学的研究范式？| 陶哲轩 | 埃尔德什差异问题 | 高维空间奇点 | 八维西蒙斯锥 | 素数随机性 | 现代密码学危机 | AI数学证明 | Lean语言 | 形式化逻辑
-
5 месяцев назад
98 5 месяцев назад 12:14AI重塑数学研究，从查文献开始。AI正重塑基础科学、加速人类接近真理
-
2 месяца назад
1334 2 месяца назад 30:03下一个 SpaceX？马斯克紧盯的 AI 数学家！ 00后洪乐潼天才少女： 引爆AI革命！颠覆 AI + 区块链的真相｜她的 Axiom Math 让马斯克都警惕
-
7 месяцев назад
61618 7 месяцев назад 12:52AI拿下奥数IMO金牌，但数学界的AlphaGo时刻还没来 | 101 Weekly
-
9 лет назад
5188 9 лет назад 4:40林正《數學家》-［人工智慧／A. I.］官方歌詞版MV
-
2 месяца назад
62517 2 месяца назад 14:37This 24-Year-Old Founder Raised $64M to Build World’s First AI Mathematician | Axiom, Carina Hong
-
9 месяцев назад
77885 9 месяцев назад 24:45【人工智能】AI时代下的数学变革 | 菲尔兹奖得主陶哲轩 | 挂谷问题 | 纳维-斯托克斯方程 | 流体计算机 | AI缺少数学嗅觉 | 形式化证明LEAN | 孪生素数 | 黎曼猜想 | 永恒追问
-
2 месяца назад
421 2 месяца назад 8:20洪乐潼：打造AI数学家！ #洪乐潼 #数学 #ai数学家
-
3 года назад
37876 3 года назад 45:00人工智能可以代替人类吗？著名数学家丘成桐带你领略数学之美 | 开讲啦 The Voice 20220507
-
1 год назад
11683 1 год назад 9:21【人工智能】AI如何辅助未来的数学研究 | 陶哲轩 | 31岁菲尔兹奖得主 | IMO 2024大会最新演讲 | 计算器的前世今生 | AI辅助证明 | AI猜想 | 探索数学对象之间的关系