「数学突破」共找到 1182 篇相关文章
不卷速度卷验证，陈天桥MiroMind精准预测15天后黄金价格
陈天桥带队的MiroMind发布新一代重型推理智能体MiroThinker-1.7和MiroThinker-H1，在基准测试中表现优异，超越众多顶尖模型。该模型不仅通用任务强，在科技金融等专业领域也表现亮眼，还能承担真实长链条智力任务。
Nature子刊：攻克医疗器械「看不清」难题，赋予自动驾驶视觉
MicroSyn-X首创无需真实数据的AI合成影像技术，让机器在无标注虚拟X光中学会追踪微型手术器械，突破医疗数据稀缺瓶颈，为自动化微创手术提供新路径，且代码和数据已开源。
阿里开源Qwen3-Coder-Next，80B参数仅激活3B的MoE顶尖编程助手
阿里开源小型MoE代码模型Qwen3 - Coder - Next，总参数量800亿但仅激活30亿参数，在代码生成等任务表现出色。团队构建训练技术栈解决数据匮乏，模型训练分阶段，多领域专家模型能力整合，基准测试性能强劲。
2026年OpenAI最看好的3个方向
OpenAI首席财务官与投资人聊2026年AI趋势，涉及多智能体登场、算力换收入、大模型能力突破等。还谈到对医疗、具身智能行业变革影响，破除AI泡沫说法，预测机器人行业前景等。
AI办公硬件新标杆：未来智能携viaim亮相CES 2026，斩获微软人工智能创新奖
1月6 - 9日，CES 2026在拉斯维加斯启幕，中国企业未来智能携viaim参展。其讯飞AI会议耳机Pro3与Air2吸引观众，还获微软“人工智能创新奖”。产品精准定位办公场景，全球化布局成果初显，正构建全场景AI办公生态。
起猛了，追觅的扫地机、割草机、洗护机器人在CES成精了！
在AI浪潮下，具身智能正加速涌入家用场景。追觅在CES带来多款「具身智能」产品，如洗护、割草、扫地等机器人，它们能自主决策执行任务，或成具身智能家庭化量产进程最快的公司。
谷歌创始人布林：当年发完Transformer论文，我们太不当回事了
在斯坦福大学工程学院百年庆典活动上，谷歌联合创始人谢尔盖・布林与校长、工程学院院长对谈。他回顾谷歌发展，称曾对Transformer论文未足够重视，还分享对专业选择、大学模式、学术与产业等方面的看法。
微软GigaTIME登上《Cell》：5美元切片变成免疫图谱
微软GigaTIME登上《Cell》，能把5美元H&E切片翻译成稀缺免疫图谱，在人群尺度重建TIME。它突破癌症免疫研究旧限制，成果经多数据集验证，已在Foundry Labs与HuggingFace全量开源。
清华团队：1.5B 模型新基线！用「最笨」的 RL 配方达到顶尖性能
清华团队用两个 1.5B 模型证明，用最基础的 RL 配方可达到小模型数学推理能力 SOTA。单阶段训练加固定超参数实现 SOTA 性能且省一半算力，训练曲线还很平滑。
北大团队让AI学会考古！全球首个古希腊陶罐3D视觉问答数据集发布，还配了专用模型
北大团队推出全球首个面向古希腊陶罐的3D视觉问答数据集VaseVQA - 3D，配套专用视觉语言模型VaseVLM。传统模型面对文化遗产复杂对象有不足，新数据集和模型让AI迈向‘文化考古Agent’，未来将拓展到更多领域。