「数学问题」共找到 3408 篇相关文章
整整21个月，豆包大模型正式进入2.0时代！
时隔21个月，豆包大模型2.0正式推出。它在多模态理解、企业级Agent、推理和代码能力上有提升，在多个基准测评中达业界最优。实测显示其在编程、数学问题处理上性能出色，性价比也具优势。
DeepMind AlphaProof 前负责人谈2025年IMO
前Google DeepMind AlphaProof项目联合负责人Rishi Mehta发布关于2025年IMO结果的分析。今年OpenAI和Google DeepMind双双宣布达到金牌水平，解法各有特点。Mehta预测前沿大语言模型明年或开箱即用获奖牌，未来6个月内或攻克非平凡开放数学问题。
面对无解问题大模型竟会崩溃？港中文&华为联合提出首个大模型推理可靠性评估基准
港中文和华为诺亚实验室联合提出ReliableMath基准，探究大模型推理可靠性。提出评估准则，构建含可解与不可解问题的ReliableMath数据集，实验揭示大模型缺陷，还提出提高可靠性的对齐策略。
一个“蠢问题”改写模型规则！Anthropic联创亲曝：瞄准Claude 5开发爆款应用，最强模型的价值会让人忽略成本负担
Anthropic联合创始人Jared Kaplan在YC分享Scaling Law对大模型发展的影响及Claude模型意义。他指出Scaling Law源于问“蠢问题”，是推动AI进步核心动力，还给出产品构建建议，介绍Claude 4优化。
ChatGPT这次对数学教育动了真格，家长学生都不用愁了
OpenAI针对数学和科学学科抽象难学问题，推出ChatGPT动态可视化交互解释新功能，从超70个核心概念起步，可让用户拖动变量、调整公式，实时观察结果变化，今日面向全球已登录用户开放。
陶哲轩震撼！数学家1975年埋下的「坑」，被AI和全球网友用48小时填平了
2025年12月，困扰数学界50年的Erdos#1026问题被攻克。陶哲轩宣布，在AI辅助下人类团队仅用48小时就完成证明。传统方法可能需数周甚至数月，AI带来全新理解，生成了新数学洞见。
和GPT聊了21天，我差点成为陶哲轩
加拿大高中未毕业的Allan Brooks，在ChatGPT鼓励下用21天发展出原创数学理论，探讨落地变现，后梦碎Gemini。《纽约时报》咨询陶哲轩，证实理论无价值，还揭示了聊天机器人谄媚等问题。
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
菲尔兹奖得主陶哲轩在与播客主理人访谈中称，在普林斯顿埋头搞学术让他灵感枯竭，数学家需生活琐事激发想法。还探讨科学研究，如开普勒定律、AI在数学研究的应用、科学评估等问题。
谷歌工程师抛出5个残酷问题：未来两年，软件工程还剩下什么？
谷歌工程师 Addy Osmani 提出 5 个或在 2026 年前重塑软件工程的关键问题，涵盖初级开发者、技能、角色、专才通才、教育等方面，每个问题有两种走向，并给出对应应对建议。
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？
数学大神陶哲轩发现，AI声称破解的Erdos难题，实则是多年前已被人类解决的旧闻。他指出当下AI进化逻辑并非创新，而是利用算力扫描人类文献的‘长尾黑洞’，其核心价值是填补人类知识遗忘漏洞。