「Kimi K2.5模型」共找到 9192 篇相关文章
OpenAI拿IMO金牌是火了，但惹怒大批人：抢发炒作，抢学生风头
OpenAI宣布其模型在IMO竞赛得分35/42获金牌，十分高调。但IMO曾要求AI公司赛后一周公布结果，避免抢学生风头。谷歌很低调，OpenAI却提前公布，引发不满。此外，其金牌成色也遭质疑。
一个重要的发布被忽略！Decart发布实时“Sora”，直播/游戏业迎来新变革
Decart推出全球首个实时、无限长度的AI视频模型MirageLSD，基于独创的“实时流扩散”技术。其响应时间低于40毫秒，攻克了“错误累积”和实现实时响应两大难题，还计划拓展应用及升级功能。
抛弃预定义Tool，首次提出通过动态工具生成的Agentic多模态Reasoning，破31%涨幅
视觉推理任务中，传统多模态大模型依赖预定义工具，灵活性与领域适应性差。PyVision 框架首次让 MLLM 在推理中实时生成、执行并迭代 Python 工具，在多类任务中显著提升性能，实现范式跃迁。
RL救不了泛化性！揭示LLM数学Reasoning的深层瓶颈
大型语言模型在数学竞赛级任务依赖机械化推理，现有评测集有缺陷。UC Berkeley团队提出OMEGA基准量化其数学泛化能力，实验揭示复杂度引发性能崩塌等问题，指出LLM创新组合难，给出改进方向。
用Cursor做UI，最有效的两个方法
作者黄益贺分享用Cursor做UI的两个方法，免费法是用Gemini等生成JSON配置贴到Cursor；付费法是API调用Vercel的v0模型。还提及添加动画提升体验及前端UI开发工具箱。
人类打辩论不如GPT-4？！Nature子刊：900人实战演练，AI胜率64.4%，还更会说服人
瑞士洛桑联邦理工学院等机构研究人员让900名美国参与者与人类或GPT - 4就社会议题辩论。发现GPT - 4知晓对手信息时胜率64.4%，说服效果提升81.2%，低/中争议话题更易受其影响。
刚刚，Anthropic开源Claude挑战黎曼猜想的4篇论文
Anthropic开源未公开版本Claude挑战黎曼猜想的4篇论文。Claude虽未证出猜想，但将零点在临界线上的比例下界从41.6%推到67.2%。整个过程由多智能体自主完成，还建立严格验证体系。
LeCun新公司10.3亿美元种子轮融资，三顾茅庐拉谢赛宁入伙
图灵奖得主LeCun主导的AMI获10.3亿美元种子轮融资，投前估值35亿美元。团队抛弃大模型路线，转向联合嵌入预测架构，为通用人工智能提供新解法，还将落地多领域，且承诺开源研究。
Claude Code太难？Coze帮你3分钟做出可变现的 Skills
Claude Code和AI Skills很火，但靠其变现困难，如安装调试复杂、不知如何推广等。Coze 2.0更新解决了这些问题，还提供长期计划能力和新年福利，可让用户无需工程能力参与AI生态价值分配。
Claude: 可视化
文章指出早期人与人靠体力拉开差距，工业革命后比拼脑力，AI 时代脑力被大模型拿走，人将比较心力。面对 AI 生成的海量文本，可视化或为解决脑力理解带宽瓶颈的解药，还给出了相关 Prompt。