「o4 - mini」共找到 1728 篇相关文章
大模型能否为不同硬件平台生成高性能内核？南大、浙大提出跨平台内核生成评测框架MultiKernelBench
深度学习计算依赖底层内核，当前多由开发者手工编写。南大、浙大推出开源评测框架MultiKernelBench，打破现有评测基准局限，构建模块化评测体系，多模型实测，还指出LLM短板并明确未来方向。
Sam Altman ：GPT-6已经在路上，DeepSeek是OpenAI开源重要因素
Sam Altman称GPT-6已在路上，节奏比GPT4到GPT5间隔更快，记忆是其重要方向。他还认为美国低估中国AI，像DeepSeek等中国开源系统是OpenAI开源重要因素。
从OpenAI离职创业到估值1700亿美元，Anthropic用4年时间引硅谷巨头疯狂押注
最新消息，Claude背后公司Anthropic即将达成新一轮融资50亿美元，总估值达1700亿，不到半年估值涨近3倍。该公司由前OpenAI员工创立，获亚马逊、谷歌等投资，其模型在代码生成领域优势明显。
Switch的救世主是老黄！？
Switch2发售，其内置图形API NVN2亮相。NVN2让Switch2表现更优，应对3A大作轻松。NVN2背后是任天堂与英伟达十年合作，NVN去除通用功能减少开销，NVN2增加新特性让画面更精致。
碾压DeepSeek V3！开源AI Agent专属模型，1万亿参数、工具使用能力超强
国内大模型平台月之暗面开源了模型Kimi - K2，这是混合专家模型，总参数1万亿。它针对AI Agent优化，工具使用能力强。测试显示其性能碾压DeepSeek V3等模型，训练流程还有独特技术创新。
DeepSeek-R2！？神秘模型惊现竞技场，真实身份引网友猜测
大模型竞技场秘密上线神秘模型steve，对话中它称来自DeepSeek。网友热烈讨论其身份，有R2、V4等猜测。同时，因CEO不满及可能缺芯片，DeepSeek的R2再度延期。
大模型全员0分！谢赛宁领衔华人团队，最新编程竞赛基准出炉，题目每日更新禁止刷题
谢赛宁等人出题，让o3、Gemini - 2.5 - pro等模型全军覆没。LiveCodeBench Pro是实时基准测试，题库每日更新。此前称LLM编程超人类专家，本次测试并非如此，最好模型难题通过率也为0。
ECCV 2026 | 一段视频，重建一个可仿真的动态世界
机器人走出实验室后，训练数据需覆盖真实世界情况。OVOW由多团队完成，被ECCV 2026接收。它从单目视频出发，输出可编辑、可碰撞的实例级Mesh，串联视觉基础模型完成流水线工作，能用于物理仿真。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
DSpark推理速度提升80%后，OpenAI宣布新方法将推理成本降低了一半
近日，OpenAI 工程师开发优化技术，将模型推理成本降一半。业内猜测或基于公开成果，也有人认为是模型量化。此前 DeepSeek 推出 DSpark，使 V4 模型推理速度提升 60%-85%，还引入峰谷定价机制。