「数学物理」共找到 779 篇相关文章
陶哲轩对谈 OpenAI 高管：“试错成本”无限趋零，AI 正在把数学变成一门重工业
菲尔兹奖得主陶哲轩与OpenAI顶尖科学家Mark Chen对谈，探讨AI在数学研究中的能力、缺陷与演化路径。指出AI试错成本低，在数学领域发展潜力大，虽目前有局限，但正改变数学研究方式。
知名数学家辞职投身AI创业：老板是00后华人女生
世界级顶尖数学家小野肯辞职，加入学生洪乐潼创办的AI初创公司Axiom。该公司主打AI数学，此前0产品0用户就达3亿美元估值。小野肯曾怀疑AI，后因认识到其潜力而转变想法。
AI 真能看懂物理世界吗？FysicsWorld：填补全模态交互与物理感知评测的空白
多模态大语言模型正经历范式转变，目标是实现全模态协同交互。但现有评测体系难跟上模型发展。飞捷科思和复旦团队推出 FysicsWorld 基准，可评测模型多能力，还提出 CMCS 策略，为全模态智能发展提供指引。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
Gemini证明数学新定理！全程没联网
Gemini内部数学版学霸模型FullProof全程不联网，帮数学家证明代数几何领域新定理，即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例，比Macaulay2更优。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
世界模型的GPT时刻：距离物理AGI出圈，还有多远？
InfoQ《极客有约》X AICon 直播栏目探讨物理 AI 下一个战场。嘉宾认为世界模型未出圈，生成加重建是折中探索。还讨论了其定义、升温原因、数据结构、技术范式、评测标准等，也提及挑战与未来格局。
拳打可灵，脚踢 Veo 3，谁是物理世界的「懂王」？
多模态视频生成大模型是复杂系统工程，多为巨头游戏。MiniMax的Hailuo 02发布，ELO得分超谷歌Veo 3和快手Kling 2.0。它能呈现复杂运动，处理物理关系，提升训练推理效率，成本低，后续还将更新。
Physical Intelligence 核心技术团队分享：物理世界的“Vibe Coding”如何实现？
Physical Intelligence 核心技术团队解读机器人技术路径，分享前沿探索。介绍 VLA 与 VLM、LLM 关系，还提及 PI 构建数据管线、提出“知识绝缘”机制，分析开放世界部署难题，展望未来“机器人模型即服务”。
103K「硬核」题，让大模型突破数学推理瓶颈
现有大语言模型在数学推理训练时面临数据瓶颈，腾讯AI Lab与上海交大团队推出DeepMath - 103K数据集。它规模大、难度高、数据新颖、严格去污染，让DeepMath系列模型达SOTA，还能实现推理泛化。