「形式数学」共找到 420 篇相关文章
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
ICLR2026｜东方理工大学、上海交通大学等：GenSR：把“离散的公式搜索”变成“连续的地图寻优”
符号回归（SR）目标是从观测数据自动发现数学表达式，但经典方法在离散方程空间搜索有局限。东方理工与上海交大团队提出GenSR，将方程世界重参数化为连续隐空间，用双分支CVAE构造并搜索，实验效果良好。
苹果计划明年为Siri引入AI搜索功能，可能采用Gemini模型
据彭博社报道，苹果计划明年为Siri引入AI驱动的网络搜索功能，称“世界知识答案”，将以多媒体形式汇总结果。苹果正测试Google模型，或由其提供支持，此前还考虑过Anthropic的Claude模型但未达成协议。
Gemini：约束
本文围绕“约束”展开探讨，通过对话形式深入剖析其内涵。指出约束不仅是限制，更是塑造和成全；它存在于多个层面，影响着人、组织和事物的发展。还通过公司和人的具体案例，构建了分析约束的框架。
Anthropic 深夜发布 Claude Design，一句话生成 UI，百亿美元市值 Figma 股价跌了 4.6%
Anthropic 发布新产品 Claude Design，由 Claude Opus 4.7 支持，以研究预览形式向部分用户开放。它定位为设计师“搭子”，覆盖多设计工作流。网友评价高，但也有人指出其生成结果有同质化问题，对传统设计工具冲击待察。
对话 Roto：让视频实时可交互、足够个性化，我们要做 AI 时代的 Netflix
Roto定位是全球首个互动开放世界视频平台。创始人David Xu曾就职独角兽企业，涉足多模态生成。团队经多次方向调整，决定大胆探索极致创新。目前产品技术不成熟，但已探索新内容形式，还将在广告实现商业闭环。
中文互联网“build in public”的新实验，为什么会是AMA？
文章探讨小红书上AMA形式爆火的原因。它与Reddit不同，得益于小红书平权分发、垂直推荐、轻量化设计等特点。AI圈因开源精神成首批用户，AMA为双边提供价值，还让小红书向专业领域拓展。
北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明
困扰数学和量子力学交叉领域半个世纪的“十杯马天尼”问题，虽2005年被数学家给出完整证明，但原证明依赖特殊对称性，难以推广到现实。北大葛灵睿、南开尤建功加入研究，将结论推广到更大类准周期算子，给出更优雅统一证明。
OpenAI公开62页核心手稿！AI连破十大「菲尔兹奖级」难题
OpenAI公开62页核心手稿，展示GPT对十大「菲尔兹奖级」数学难题的完整推演，涵盖高维球体堆积、非sofic群构造等。仅花2000美元Token成本，引发全网热议，被指或为GPT - 6，强化学习大佬称像“奇点前夜”。
马斯克官宣数字AI员工！世界首富也来养龙虾，测试阶段员工把它当真人
马斯克在X上宣布数字擎天柱/巨硬AI项目，它是能在电脑自动操作的数字员工，可模拟公司运作。该项目早有记载，此前印度小哥曾爆料。巨硬项目曾遇阻，现以数字擎天柱形式推出，由xAI与Tesla联合打造。