「数学竞赛」共找到 512 篇相关文章
给几何图片写标题就能让AI更聪明，UIUC发布高质量可泛化几何数据集
随着多模态大语言模型在视觉问答等任务广泛应用，其几何推理能力成研究热点。现有方法泛化能力有限，UIUC团队提出Geo - Image - Textualization框架，发布GeoReasoning - 10K数据集，提升模型几何推理表现。
实测GPT-5 Pro：别被普通版骗了！Pro才是OpenAI真正的顶级模型
新智元实测发现GPT-5表现飘忽，但其Pro版本实力强劲。在编程、推理计算、图像识别等多方面表现出色，网友实测后也赞不绝口。此外，文中还介绍了GPT-5提示指南及OpenAI放出旧模型的彩蛋。
真急了！AI落后、Siri彻底输给ChatGPT，拯救苹果全靠她？
据彭博报道，苹果今年接触OpenAI前CTO Mira Murati，讨论与Thinking Machines Lab交易意向。苹果收购策略保守，但AI浪潮下自研已落后，它或需收购补足短板，除该实验室，还关注Cohere等小公司。
首次曝光！OpenAI新一代旗舰Astra换上“循环深度”推理架构：用计算深度换参数规模
9月2日消息，OpenAI将推出的旗舰模型Astra采用“循环深度”新技术，用较小模型实现庞大模型性能，降低成本。但该技术会让AI推理过程不可读，加重安全担忧，此前奥特曼已因Astra“能力过强”踩刹车。
后Scaling Law时期的模型、token和组织 | 5Y Quarterly
文章是五源2026年第二季度回顾，涵盖对AI多方面观察，如token军备竞赛、模型资产价值、公司组织成护城河等，还提及被投企业上市、融资情况及五源资本获多项行业荣誉。
马斯克惊叹！DeepSeek和Kimi先后出手，捅破了Transformer的「潜规则」！
文章介绍了DeepSeek和Kimi在残差连接上的突破。DeepSeek让连接权重可学习，用数学约束保证稳定性；Kimi将注意力机制用于层间连接，解决了更根本的问题，性能提升显著。
AI 行业最被低估的武器，是审美
AI竞赛激烈但产品趋同，品牌价值愈发重要。文章从品牌视角切入，阐述AI产品美学的三点基础洞察，梳理14个视觉标识趋势，还将品牌归为五类原型，强调品牌建设的重要性。
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
“中国最有钱的3个男人”，开战了
2026年春节，腾讯、阿里、字节三大互联网巨头在AI领域正面交锋。腾讯重振旗鼓，阿里定义AI叙事，字节加速全球化。此前，DeepSeek让战争真正开始，各巨头反应不同。此外，还涉及人才竞争、组织协作及AI对世界开放性的影响。
特朗普按下「创世纪」核按钮，AI曼哈顿计划正式启动！
2025年11月24日，特朗普正式签署「创世纪计划」，被比作AI版「曼哈顿计划」。由美国能源部牵头，整合资源打造「美国科学与安全平台」，剑指六大领域，要求9个月内构建AI科研闭环。