「已解决的世界」共找到 4893 篇相关文章
陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明
陶哲轩与GPT - 5 Pro合作解决微分几何领域3年未解难题。GPT - 5 Pro从计算到证明一气呵成，助陶哲轩突破思维局限。陶哲轩认为AI在小、大尺度上有用，中尺度无益，还印证多尺度衡量工具有效性观点。
国内首次！8.9毫秒推理速度破纪录，1元打穿百万token
在2025人工智能计算大会上，浪潮信息发布元脑SD200和元脑HC1000两款AI服务器。前者让DeepSeek R1的Token生成速度达8.9毫秒，后者将推理成本降至1元/百万Token，解决了AI智能体速度与成本难题。
Qwen3-VL-Seg 深度解读：当多模态大模型学会"像素级精准手术"，仅用0.4%参数碾压8B模型
文章深度解读阿里通义实验室发布的Qwen3-VL-Seg，它解决开放世界指代分割问题，用仅17M参数（占基础模型0.4%）在4B规模超越8B模型。介绍其原理、架构、数据、实验结果，还给出实战代码。
前钉钉最年轻副总裁的AI冒险：当AI开始“雇佣”人类｜甲子光年
前钉钉最年轻副总裁王铭带领攀峰智能K2 Lab获数千万元种子轮融资。其首款产品拟人化商业专家Moras是全球首个面向超级个体的商业化Agent，解决海外达人变现痛点，采用‘底薪+提成’模式，还探索‘AI雇佣人’新商业模式，目标成AI时代的Shopify。
DeepSeek一体机最新观察：满血版卖不动了，市场抢食零散的中低端机型生意
本文聚焦DeepSeek一体机市场，上半年国央企等大客户采购高端机型需求旺，头部硬件厂商营收可观，中小厂商冷清。下半年高端市场饱和，中低端机型“游击战”开打，部分厂商用国产芯片降成本，部分有政府关系的新厂商入局。已售一体机落地难，需杀手级应用和用户数据。
全球看中国，灵初智能用10万小时人类数据写下具身智能的中国答案
2026年，“世界模型”成具身智能高频词。灵初智能联合创始人陈源培认为其非核心方向，而是数据迁移工具。灵初关注人类操作数据转化，在10万小时量级上可大幅替代真机数据，还介绍了系统模块、数据集及商业化阶段等情况。
中英双语、29项第一、像素级理解：360 FG-CLIP2登顶全球最强图文跨模态模型
360推出FG-CLIP2图文跨模态VLM模型，在八大类任务、29项测试中超越Google与Meta。它能像素级看图，中英文皆强且已开源。其优势源于高质量数据集和先进训练方法，还在多业务落地并开放API。
新国产GPU「曦望」，刚融了10个亿
国产GPU公司曦望Sunrise由商汤2024年底分拆独立，时隔半年完成近10亿融资。其产品曦望S1、S2已量产，S3在研发。两位联席CEO分别是百度元老王湛和AMD芯片老将王勇，核心团队规模小但成果显著。
智能体崛起，AI+软件研发到新拐点了？
InfoQ《极客有约》X AICon 直播探讨 LLM 时代软件研发新范式。嘉宾认为 AI 在研发中是提效工具，距原生开发尚远；部分开发环节已由 AI 接手，落地面临稳定性等问题；未来智能体协作是趋势，部分工程师价值将放大。
作业帮Flink On K8s落地实践
本文分享作业帮2025年Flink on k8s的探索与实践，包括选型思考、平台架构演进等关键内容。介绍了历史on Yarn模式的问题，阐述选型Flink K8s Operator模式的原因，还提及任务状态观测、环境资源成本等，分析核心问题并给出解决方案。