标签:数学

Nature:几何,AI来了

几何,数学中研究空间结构及性质的一门学科,各位读者在中学肯定都学过一些,但学的好的有几何?笔者知道不少学霸小伙伴此时会潇洒一笑,心里默念“有我一个”...
阅读原文

文学作品中也“处处是数学”?揭秘数学家眼里的文字世界

克雷西 发自 凹非寺量子位 | 公众号 QbitAI我们的生活中处处都有数学的影子,甚至是文学作品中也不例外…… 至于数学具体如何蕴于文学之中,有位英国数学家专门...
阅读原文

【数学与物理学】数学家利用量子场论的数学新发现

来源:陈方的发现数学之旅 图的模空间是数学中一个迷人的主题,与各种领域有联系,包括拓扑、代数几何和数学物理。特别是它与代数曲线理论密切相关,代数曲线...
阅读原文

AI抢攻人类奥赛金牌!DeepMind数学模型做对25道IMO几何题,GPT-4惨败得0分

新智元报道编辑:编辑部 【新智元导读】今天,谷歌DeepMind的AlphaGeometry模型登上了Nature!30道IMO几何题中,它能做出25道,已经接近人类金牌选手的水平!...
阅读原文

奥数能力金牌级:DeepMind几何推理模型登上Nature,代码开源,菲尔兹奖得主点赞

机器之心报道 编辑:泽南、陈萍这项工作代表了 AI 在数学推理上的能力突破,是开发通用 AI 系统方面的重要里程碑。 这一次,人工智能算法在数学奥林匹克竞赛...
阅读原文

DeepMind人工智能突破迈向AGI关键一步,解题能力接近奥数巅峰

点击上方蓝字关注我们“Google DeepMind的AlphaGeometry系统在解决几何问题方面几乎赶上了世界最聪明学生的水平。其成功回答了国际数学奥林匹克竞赛高中组的25...
阅读原文

数学推理与AI:机器学习系统能在多大程度上理解数学?

导语2023年12月的 NeurIPS 会议上举办了许多主题研讨会,其中 MATH AI 研讨会为第三届,主题为“数学推理与AI”。数学推理是人类认知的基本方面,涉及分析复杂...
阅读原文

控制理论发展的历史启示

来源:CAA会员服务 作者:郭雷(中国科学院院士、中国自动化学会会士) 内容来源:《中国学科发展战略·控制科学》 编辑:高天慧 责任编辑:叩颖 转自:集智俱...
阅读原文

为大模型恶补数学,上交开源MathPile语料库,95亿tokens,还可商用

机器之心专栏 机器之心编辑部在当前智能对话模型的发展中,强大的底层模型起着至关重要的作用。这些先进模型的预训练往往依赖于高质量且多样化的语料库,而如...
阅读原文

对话阿贝尔奖得主拉兹洛·洛瓦兹

大数据文摘授权转载自zzllrr小乐 作者:拉斐拉·穆拉斯(Raffaella Mulas) 译者:zzllrr小乐拉兹洛·洛瓦兹(László Lovász,1948 -,以下简称LL)是匈牙利数...
阅读原文

300年后,他击败了牛顿

——不能只知道牛顿,还要知道他的伟大对手莱布尼茨Gottfried Wilhelm Leibniz引谁能战胜牛顿……300年前,人类一直跟随牛顿的思想; 300年后,人类开始追随莱布...
阅读原文

陶哲轩青睐的证明助手Lean,用上了大模型

机器之心报道编辑:陈萍现在,数学辅助证明工具都用上了大模型。「我预计,如果使用得当,到 2026 年,AI 将成为数学研究和许多其他领域值得信赖的合著者。」...
阅读原文

DeepMind论文登上Nature:大模型找到数学难题最新解,赢过人类数学家

夕小瑶科技说 原创作者 | 付奶茶谷歌DeepMind大模型最新研究突破来了!这次谷歌DeepMind提出了一种使用大语言模型搜索数学和计算机科学新解决方案的方法 FunS...
阅读原文

AI颠覆数学研究!陶哲轩借AI数学猜想,形式化成功惊呆数学圈

新智元报道编辑:编辑部【新智元导读】历时三周,陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利...
阅读原文

秒杀700亿Llama 2!最新国产大模型亮相,无需申请即可免费商用,背后公司来自私募巨头

丰色 发自 凹非寺量子位 | 公众号QbitAI国产大模型刚刚出了一位全新选手:参数670亿的DeepSeek。它在近20个中英文的公开评测榜单上直接超越了同量级、700亿的...
阅读原文
189101112