标签:数学
陶哲轩点破「天机」:不懂数学别想靠ChatGPT飞升!
新智元报道编辑:Aeneas 好困 【新智元导读】冲锋在AI辅助数学研究第一线的陶哲轩,近日又有「神总结」:ChatGPT提升的,是我们在编码、图表等次要任务上的能...
2024阿贝尔奖得主致年轻数学家:你们选择了绝对正确且完美的领域
新智元报道编辑:编辑部 【新智元导读】2024年阿贝尔奖得主Michel Talagrand向年轻数学家分享建议的视频引发了网友关于数学学习方法论的探讨。学无定法,但是...
北大千问团队推出数学专用版CriticGPT,“找茬”让大模型进步更快
蔡泽凡 投稿量子位 | 公众号 QbitAI批评不仅能让人进步,也能让大模型的能力提升。 OpenAI就用这个思路造了个“找茬模型”CriticGPT。非常巧合的是,就在Critic...
贾佳亚团队新作:10k数据让大模型数学能力超GPT-4
港中文贾佳亚团队 投稿量子位 | 公众号 QbitAI只要10k数据,就能让大模型的数学成绩增长5.6%。 港中文贾佳亚团队推出了基于推理步骤的大模型优化策略,能够像...
4人团队斩获首届AI奥数竞赛百万大奖!AI破解29题陶哲轩惊呆,CMU华人博士荣登第二
新智元报道编辑:桃子乔杨 【新智元导读】历经3个月,首届AI奥数竞赛终于公布最终结果了!Gemma 7B只能达到3/50正确率的题目中,第一名的Numina模型居然刷出...
2024年度沃尔夫奖揭晓:RSA加密算法的开创者荣获数学奖!
来源:知社学术圈 北京时间7月3日晚,2024年度沃尔夫奖揭晓,今年的科学类奖项授予了数学、医学、农业和物理学领域的杰出科学家。RSA加密算法的开创者之一 Ad...
陶哲轩支持!AI数学奥林匹克竞赛进步奖公布,奖金100多万美元
机器之心报道 机器之心编辑部大模型做数学题到底如何,不妨让它参与一下这种级别的比赛。「AI 数学奥林匹克竞赛(AIMO 进步奖)的初步成绩已公布。根据排行榜...
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 视为有史以来最重要的更新。 ...