标签:数学

AI助攻「菜鸟数学家」解决忙碌海狸问题,陶哲轩转发分享

机器之心报道 编辑:大盘鸡、佳琪‍‍‍‍在 AI 的帮助下,越来越多的数学问题得到了解决。AI在数学领域的应用对大家来说并不陌生了。数学家陶哲轩作为倡导者,一...
阅读原文

MATLAB四十周年:一场数学的“矩阵革命”|甲子光年

一家公司如何保持40年的创新力?作者|赵健‍‍‍ 如果提到MathWorks这家公司,可能很多人都没听过。但若提起MATLAB,很多科研、工程领域的从业者,一定对它不陌...
阅读原文

苹果发布会后刷屏的 iPad 计算器,最大的亮点不是算术

iPad 计算器 来了暌违十四年,iPad 迎来了一项「史诗级更新」——原生计算器。 苹果高管克雷格·费德里吉曾说过,希望让用户看到(iPad 版的计算器)时会惊叹「...
阅读原文

AI将是数学家的得力助手,陶哲轩谈AI在证明过程中的潜力

机器之心报道 编辑:大盘鸡AI 将大大提高数学研究的效率。陶哲轩是公认的数学天才,被誉为「数学神童」。他从小便展现出惊人的数学天赋,9 岁时就参加了美国...
阅读原文

陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀

新智元报道编辑:庸庸 乔杨 【新智元导读】陶哲轩在最新的采访中,系统地谈到了AI可能会对数学领域产生的影响。他乐观地认为,使用Lean等工具「形式化」数学...
阅读原文

直觉与逻辑的碰撞:黎曼与黎曼猜想的诞生

来源:赛先生 作者:马库斯·杜·索托伊 最近,关于黎曼猜想的一项新研究在数学圈刷屏了。麻省理工学院数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard...
阅读原文

落魄宗门里的绝世高手!中专女生逆袭拿下数学竞赛全球第12名,比大模型还强不少

夕小瑶科技说 原创作者 | Zicy这大概就是落魄宗门杀出来的绝世高手! 就在昨天,2024阿里巴巴全球数学竞赛(简称“阿里数赛”)公布决赛名单,最终有来自全球17...
阅读原文

苹果 12 大 AI 新功能提前看,iOS「史上最大更新」 倒计时 | WWDC24 前瞻

iOS 18 AI 不止 Siri猛料全加载 这是苹果为即将到来的 WWDC 打出的宣传口号。著名媒体人 Mark Gurman 表示,苹果内部将 iOS 18 视为有史以来最重要的更新。 ...
阅读原文

图灵逝世七十周年:重新认识那个群星闪耀的时代|甲子光年

微风有时送来一个信号。作者|甲小姐 今天是图灵逝世70年。在我心中,图灵是一个节点式人物。从计算机的基本思想(图灵机),最初概念的摸索(人工智能是什么...
阅读原文

陶哲轩力推36岁菲尔兹奖得主新论文,指向黎曼猜想重大突破!

新智元报道编辑:编辑部 【新智元导读】MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard的一篇新论文获得了数学家陶哲轩的大力推荐,陶认为两人在...
阅读原文

黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与

机器之心报道 机器之心编辑部最近,被称为千禧年七大难题之一的黎曼猜想迎来了新突破。黎曼猜想是数学中一个非常重要的未解决问题,与素数分布的精确性质有关...
阅读原文

每个人的脑袋都擅长数学吗?学不明白是咋回事?(发自灵魂的追问)

来源:中科院物理所 作者:ELIZABETH LANDAU 翻译:小聪 审校:悦悦 原文链接:Are All Brains Good at Math? 数学让很多人感到恐惧,但我们天生就对数字敏感...
阅读原文

别让你的孩子学奥数了!人工智能将在3年内解决所有奥数问题!

点击上方蓝字关注我们“PayPal前CEO彼得·蒂尔在播客中预言,未来几年内AI将能解决所有美国数学奥林匹克问题,这可能预示着教育体系的一次重大变革。在当今这个...
阅读原文

中国“运动式”学数学,能解决卡脖子吗?

“运动式学数学有用吗?”多所高校发布2024年强基计划 学生高考数学单科成绩达到140分以上, 即有机会被多所高校破格录取! 包括山东大学、中山大学、国防科技...
阅读原文

今日arXiv最热大模型论文:上海AI lab发布MathBench,GPT-4o的数学能力有多强?

夕小瑶科技说 原创作者 | 谢年年大模型数学能力哪家强? 最近,上海AI lab构建了一个全面的多语言数学基准——MathBench。与现有的基准不同的是,MathBench涵盖...
阅读原文
14567812