「数学开放问题」共找到 3971 篇相关文章
10万token自然语言推理，让30B-A3B模型站上奥赛金牌线
上海人工智能实验室报告显示，30B - A3B规模的SU - 01模型不依赖外部工具，经训练在IMO、USAMO、IPhO等奥赛评测达金牌水平。研究还验证更高效科学推理系统路线，有望用于更多科学问题。
一分钟的奇迹与幻觉：实测世界模型Happy Oyster
4月16日阿里发布世界模型Happy Oyster，支持多模态输入与音视频联合生成。实测显示，它在场景构建、渲染上有优势，可替代部分传统引擎工作，但存在一致性不足问题，现阶段更适合改造游戏开发流程。
几句话就能复刻一个付费Skill，Skills商店还能卖什么？
文章探讨Skills商店的生意前景，介绍应用层转变，对比Skills与Agent商店，说明Skills来源，指出简单流程型Skills易被复刻，还阐述Sklls、MCP、A2A的关系及当前Agent存在慢的问题。
离开小米后，他赌耳机才是AI硬件的最优解｜甲子光年
甲子光年对话光帆科技创始人董红光。他曾是小米第89号员工，认为AI硬件分水岭是Agent OS，其创业产品以耳机等为载体，集成Agent OS，还谈到产品设计、成本、供应链、操作系统等多方面问题。
刚刚，阿里园区被奶茶包围，都是千问点的！西溪叫不动外卖了
2026年1月15日千问App发布会，吴嘉演示用千问点奶茶。千问定位“生活助手”，接入阿里业务，有400余项办事能力，月活破1亿。虽有亮点，但也存在推荐不接地气等问题。
代码生成要变天了？被质疑架空后，Yann LeCun携320亿参数开源世界模型“杀回来了”
美国当地时间9月24日，Yann LeCun团队发布320亿参数代码世界模型CWM。它创新训练方式，能模拟代码执行。性能测试表现出色，还开放检查点。Meta AI业务重组，CWM发布或表明未彻底放弃开源。
超越免训练剪枝：LightVLA引入可微分token剪枝，首次实现VLA模型性能和效率的双重突破
文章介绍LightVLA框架，它是用于提升VLA推理效率和性能的视觉token剪枝框架。针对VLA模型计算开销大、推理延迟高问题，提出两大创新，在LIBERO实验中性能超经典模型，还实现推理加速。
从上下文工程到 AI Memory，本质上都是在「拟合」人类的认知方式
文章结合胡塞尔现象学，探讨从上下文工程到AI Memory，指出它们本质在‘拟合’人类认知。介绍二者概念及构建方法，对比人类与AI记忆异同，还通过与胡塞尔对话，思考AI意识等哲学问题。
Google官方发布nano banana使用指南
Google官方发布nano banana使用指南，介绍其核心能力，如角色一致性、精确局部编辑等，还给出写提示词的6要素、5种实用技巧，同时指出模型存在风格化不一致、文字渲染易出错等问题。
GPT-5 之后，我们离 AGI 更近了，还是更远了？
2025年8月8日OpenAI发布GPT-5，架构有革新，在基准测试成绩优异，但跑分现场PPT出错、被Grok 4击败。它在编程表现出色、价格有竞争力，写作能力有争议，模型幻觉和提示注入攻击问题待解。