「数学难题」共找到 1557 篇相关文章
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
本文报道OpenAI发布数学难题挑战后，人类研究者联合开源社区AI智能体蜂群，仅24小时就将OpenAI第109号整数乘法下界难题的核心参数实现数亿倍突破，展现了人+AI协作的去中心化科研新范式。
00后中国女孩0产品创业实现3亿估值：斯坦福数学博士的AI量化野心
00后中国女孩洪乐潼创业一鸣惊人，虽无产品和用户，但目标估值3 - 5亿美元。她是斯坦福华人数学博士，公司Axiom想为量化和对冲基金公司提供解决数学问题的模型能力，获投资人关注。
陶哲轩对谈 OpenAI 高管：“试错成本”无限趋零，AI 正在把数学变成一门重工业
菲尔兹奖得主陶哲轩与OpenAI顶尖科学家Mark Chen对谈，探讨AI在数学研究中的能力、缺陷与演化路径。指出AI试错成本低，在数学领域发展潜力大，虽目前有局限，但正改变数学研究方式。
字节Seed数学新模型，SOTA了
字节发布全新复杂数学解决模型Seed-Prover，全面超越谷歌AlphaGeometry2，在MiniF2F数据集达100%正确率。它采用引理式证明，集成几何推理引擎Seed-Geometry，还展现了卓越泛化能力。
Gemini证明数学新定理！全程没联网
Gemini内部数学版学霸模型FullProof全程不联网，帮数学家证明代数几何领域新定理，即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例，比Macaulay2更优。
Alibaba开源WebDancer解决DeepResearch复杂信息检索难题
Alibaba开源WebDancer，从数据和训练阶段出发提出端到端自主信息检索代理构建范式。实验中，它在GAIA和WebWalkerQA基准测试表现出色，处理复杂信息检索优势显著。
玻璃封装大热，TGV还有多少难题待解？
先进封装成后摩尔时代芯片算力提升关键，玻璃基板封装受关注，但仍处验证阶段。TGV技术成熟度是玻璃基板技术破局点，国内部分企业有突破，不过玻璃材料物理特性制约其普及。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
Agent规模化落地前夜，AI Infra的难题全都暴露了
随着AI Agent大规模落地，中国云服务市场结构转变，AI基础设施角色改变。InfoQ联合腾讯云发起「InfraTalk」直播，探讨AI Infra能力框架等。还解析其核心能力、难题、价值闭环标准及未来竞争焦点。
开放世界任务成功率82%！美的攻克机器人泛化控制难题
美的AI研究院和华东师范大学联合提出ChatVLA - 2模型，引入动态混合专家架构和双阶段训练流程。真机实验显示其开放世界任务成功率达82%，远超现有方法，为通用机器人控制提供新思路。