「AI证明」共找到 9902 篇相关文章
20万人抢的全球大模型第一股，我中签了
智谱在港交所上市成全球大模型第一股，作者申购中签。智谱专注AI Coding，迭代快，GLM - 4.7成绩亮眼，商业化数据佳，还有诸多有意思细节，虽行业竞争大，但它表现不错。
极简主义的胜利：清华团队用最简单的强化学习配方刷新1.5B模型纪录
清华、伊利诺伊大学和上海AI实验室团队提出JustRL架构，仅用单阶段训练和固定超参数，在1.5B模型上刷新性能纪录，计算量仅为复杂方法50%，挑战了复杂技术堆叠现状。
讯飞刚发的财报：净利润暴涨了202%
科大讯飞2025年第三季度财报亮眼，营收、利润、现金流全面转正，归母净利润同比大增202%。AI大模型技术突破与产业化落地成业绩修复关键，在技术、业务、生态方面成效显著，还将加大研发投入。
专访希姆计算陈炜博士：“技术与人才标准”双轮驱动，推动 RISC-V 生态繁荣
在2025 RISC-V中国峰会期间，希姆计算陈炜博士接受专访，介绍RISC-V在AI领域布局，提及希姆计算推动技术标准制定的贡献与挑战，还阐述国内人才缺口及培养标准，认为技术与人才标准相辅相成。
开放世界任务成功率82%！美的攻克机器人泛化控制难题
美的AI研究院和华东师范大学联合提出ChatVLA - 2模型，引入动态混合专家架构和双阶段训练流程。真机实验显示其开放世界任务成功率达82%，远超现有方法，为通用机器人控制提供新思路。
华为昇腾推理对决：开源vLLM vs 官方MindIE，数据说话「Qwen与DeepSeek推理实测」
文章围绕华为昇腾推理，对比开源vLLM与官方MindIE。借助GPUStack平台测试Qwen与DeepSeek模型，分析不同场景性能。指出vLLM和MindIE各有优势，还强调构建国产AI推理生态需多要素，鼓励开源协作。
豆包 1.6发布后，我用火山引擎Trae + MCP，仅半天做了一个“秒懂科研”的PaperAgent!
文章介绍用火山引擎Trae + MCP和豆包1.6构建“秒懂科研”的PaperAgent。对比其与传统开发范式，突出前者高效、低成本优势，还展示了PaperAgent技术栈及开发过程，体现AI云原生开发魅力。
百年黎曼猜想被Claude破了新纪录！是个未公开新模型
A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。
Supabase：百亿美元估值，vibe coding 的默认后端？
Supabase 以 Postgres 为核心，提供一站式后端服务，接近完成 5 亿美元 F 轮融资，估值 100 亿美元。它处于 Postgres 生态和 AI coding 趋势交叉点，产品路线图向 agent 倾斜，面临竞争、UE 等挑战。
永别了，背公式时代！波兰物理学家用一个算子统一数学
2026年4月，波兰雅盖隆大学物理学家安杰伊·奥德尔齐沃莱克发表论文，提出算子eml(x,y) = eˣ − ln(y)，证明不断嵌套此算子可推导出科学计算器上每个按键对应的函数，引发数学界震动。