「可验证智能」共找到 7302 篇相关文章
刚刚，Sam Altman 爆料：正在规划数据中心自我迭代，手里还有700项数学突破不敢发
Altman 透露，OpenAI 曾耗费千万美元算力做出千禧年数学难题证明，目前内部压着700多个数学突破未发布，以避免摧毁传统学术群体的生存空间。
国外博主：我用 AI 这一年：机器写了九成代码
Salesforce 工程师 Ben Stolovitz 复盘发现，机器已写了他 90% 以上的代码。他每月 token 消耗约 3000 美元，但因产出平庸已停用 AI 写作与做图。
谷歌六套语义模型入图，Context Graph让问数不靠猜
Google Cloud 宣布 Knowledge Catalog 正式接入 Looker、dbt、Snowflake 等六类语义模型元数据，内部测试显示查询准确性达基线近 4 倍，Token 消耗最高减少 75%。
耗时4小时、调用工具1492次：首次能操作电脑的腾讯混元Hy4交出了什么？｜甲子光年
腾讯发布混元Hy4正式版，首次加入视觉理解与电脑操作能力并计划开源权重；官方坦承多数跑分仍落后于顶尖闭源模型，但在内部科研评测中位居开源第一。
ChatGPT 正在偷偷给你画像，用这段提示词让它交出来
针对 80 名真实用户的论文研究显示，ChatGPT 的记忆中仅 4.1% 来自用户主动要求，近 96% 均为系统单方面推断写入，且过半记忆包含对用户心理状态的推测。
AI接管代码，程序员如何另寻出路？
猎聘报告显示，今年前三季度传统程序员新发职位同比下降8%，超四分之一程序员考虑转型；而软件与算法等新方向招聘逆势增长，AI大模型岗位平均年薪达52.4万元。
“真有10%灭绝风险，就该立刻彻底拔网线！” 微软AI CEO怒批A社：别再信“用爱感化机器”，给AI开博客简直是疯了
微软 AI CEO 苏莱曼在对谈中批评 Anthropic 搞“模型福利”，指出大模型只是无意识的序列补全工具，赋予其受苦人设反而会诱发对抗人类的自保动机。
奥特曼：PC上装内存太浪费，最好留给AI数据中心
OpenAI CEO 奥特曼在采访中称，全球 DRAM 资源极其紧缺，用户在 PC 中囤内存且使用率仅 5%，是相当糟糕的资源配置，内存应集中到云端数据中心以提高利用率。
混合架构用线性注意力还是滑窗注意力？复旦OpenMOSS团队：我全都要！
复旦大学邱锡鹏团队系统研究了混合模型在长上下文下的表现，提出滑窗线性注意力策略，使模型在评测中实现 16 倍免训练外推 并保持 100% 准确率。
LeCun证明了：规模从未起作用，下一token路线效率低
LeCun 团队发文在数学上论证了跨模态表征收敛的柏拉图假说；其提出的好视图 JEPA 方案使1.09亿参数模型表征对齐度超过72B大模型，样本效率最高提升42倍。