标签: 人工智能
使用此标签的全部文章 "人工智能".
OpenAI 攻克了数学世纪难题?从一杯水读懂 Navier–Stokes 候选证明
核查 OpenAI 的 Navier–Stokes 候选证明:它解决了哪个版本、用了什么模型、漩涡如何爆破,以及形式化验证与学界认可的区别。
三次鹈鹕骑车实验:一次失败,能说明模型不行吗?
从 Sol 首次失败、Astra 修复到 Sol 再次制作,我复盘三版骑车动画的结果与条件变化:区分交付质量、失败机制和模型能力,避免把迭代记录当成公平评测。
从神经网络到 GPT-5.6:大语言模型是怎样一步步进化的
从人工神经元、反向传播和 Transformer,一路讲到预训练、RLHF、推理模型、多模态与 Agent,用通俗语言梳理大语言模型的关键进化。