「数学突破」共找到 1182 篇相关文章
6小时复刻AI IMO金牌成果，蚂蚁多智能体新进展已开源
2025年IMO赛场，顶尖大模型起初表现不佳后有突破。蚂蚁AWorld项目团队6小时复现并开源DeepMind解题结果，给出可一键运行系统。AWorld证明多智能体协同优势，还介绍复现思路、核心优势及体验方式。
英伟达重返中国！6月大量生产特供AI芯片，价格暴降40%
路透社消息，英伟达为突破美出口限制，将为中国推特供AI芯片，6月量产，价格降40%。该芯片基于RTX Pro 6000D，简化设计以控成本和符合管制。虽计算力低，但CUDA生态有优势。
首次，AI下棋不再是「黑盒」！
上海AI Lab发布升级版大模型「书生·思客InternThinker」，首度打破围棋AI推理黑盒，能用自然语言解释落子逻辑，具备职业3 - 5段棋力。依托创新训练平台InternBootcamp，它在多任务表现出色，且相关技术有系列创新突破。
DeepSeek V4爆春节登场！四大杀招突袭全球编程王座，Claude危
据爆料，DeepSeek计划在2月中旬春节前后发布V4模型，剑指编程王座。其在编程能力、超长上下文代码处理、算法提升、推理能力上有突破，或延续高性价比路线，在受限硬件下靠算法取胜。
Thinking Machines 发布又一神作「在线策略蒸馏」 ，LLM后训练效率飙升50-100倍
Mira的THINKING MACHINES开源「在线策略蒸馏」LLM后训练方法，结合两种主流后训练范式优点，提升训练效率50 - 100倍，成本降低9到30倍，可用于数学推理、模型个性化等场景。
一句“吴恩达说的”，就能让GPT-4o mini言听计从
宾夕法尼亚大学研究者发现，用恭维、同侪暗示等心理话术，能让GPT - 4o Mini突破安全底线。实验基于七大说服技巧，证明人类心理学原则可迁移至LLM。不过，此漏洞或被利用，已有团队尝试应对。
世界首个「实时、无限」扩散视频生成模型，Karpathy投资站台
Decart发布世界首个「实时、无限」扩散视频模型MirageLSD，输入视频流能快速转化画面，前特斯拉AI总监Karpathy投资。它在时长和延迟上有突破，也有需改进之处。
家用人形机器人，终于快要来了
作者认为除关注AI大模型进展，更期待家用机器人突破。如今具身智能已具备落地条件，像特斯拉、1X等公司在人形机器人领域有进展，作者乐观预计五年内人形机器人能成熟。
机器人的“ChatGPT时刻”为何迟迟未来？
俄勒冈州立大学教授乔纳森和前 Google X 高管汉斯探讨机器人有无“ChatGPT 时刻”。指出机器人领域难现单一突破，需工程实践、工具配合和数据积累，还从多方面分析了面临的问题。
对话灵感实验室：全帧率 VLM、低成本与分层部署，业务现场不止需要炫技模型
InfoQ对话格灵深瞳灵感实验室，探讨多模态大模型下视频理解问题。指出传统视频模型抽帧处理浪费算力和信息，介绍LLaVA - OneVision - 2.0突破长视频理解瓶颈，还提及“视觉智能工坊”助力业务落地。