「验证者定律」共找到 1338 篇相关文章
计算机科学家杰弗里·辛顿：“AI会让少数人更富，多数人更穷”
被誉为‘人工智能教父’的杰弗里·辛顿，见证了AI从学术走向主流。他从技术加速者变为警示者，指出AI或对人类造成严重伤害，还谈到应对风险方案、中国优势及AI对社会经济的影响等。
单季利润2610亿元！三星的“AI印钞机”，火力全开
4月7日三星公布一季度业绩，营业利润57.2万亿韩元，DS部门贡献超七成。HBM业务营收大增，通用DRAM量价齐升。三星从HBM3E追赶者成HBM4领先者，但产能转移致产业链裂痕，下游产品纷纷涨价。
像开发软件一样造世界，Agent2World来了，把世界模型做成可运行的符号环境
为让模型真正“能行动”，需可执行、可验证的符号世界模型，但现有自动生成路线有困局。研究团队提出 Agent2World，经实验验证有显著效果，能稳定产出高质量符号世界模型，开辟 AI 理解现实环境新可能。
Codeforces难题不够刷？谢赛宁等造了个AI出题机，能生成原创编程题
LiveCodeBench Pro团队推出AutoCode框架，利用LLM自动化竞赛编程问题创建与评估。该框架结合验证器 - 生成器 - 检查器框架与双重验证协议，在测试用例生成上可靠性佳，还能生成新问题，同时揭示了LLM在创作上的优劣势。
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
谷歌DeepMind官宣Gemini Deep Think在IMO获官方认证金牌，4.5小时解5题得35分。它用纯英语解题，结合并行思考与强化学习训练。谷歌后续将向部分测试者及订阅者推出模型，还公开了解题过程。
押中 Figma、Scale AI 的 Thiel Fellowship， 今年下注哪些 AI 方向？
Thiel Fellowship 由 Peter Thiel 2011 年创办，为入选者提供资金与支持。2025 年入选者地域更广，项目聚焦 AI 等领域。热门方向有 AI Infra、金融 Infra、可编程生命系统，创始人年轻、跨界、实验性强。文中还介绍了多个亮点项目。
刚刚，谷歌Gemini 4 Argon上线，API价格限时五折
本文报道谷歌DeepMind刚刚上线Gemini 4 Argon大模型，介绍其核心能力、多领域应用案例与定价信息，模型聚焦复杂任务处理，当前API开放且限时五折优惠。
特斯拉加码机器人触觉，DeepSkin厚积十年，剑指薄膜式触觉新赛道｜甲子光年
本文报道特斯拉最新公开的人形机器人三维柔性触觉传感器阵列专利，同时介绍国内DeepSkin品牌依托十年柔性电子研发制造积累，布局薄膜式机器人触觉新赛道的进展与优势。
Agents统一综述：Harness、记忆、Skills和协议
上交大、中山大学等发表长文对LLM Agents中的记忆、Skills、协议与Harness工程进行统一综述。介绍了从权重到上下文再到Harness能力的三次迁移，阐述记忆、技能、协议系统及Harness工程，还分析了模块间耦合。
Coinbase CEO：全员强制 AI 编程，违者开除！
Coinbase CEO Brian Armstrong在播客透露，因部分工程师拒绝使用AI编程助手，他解雇了几人。公司为工程师买了AI工具企业许可证，他强制全员注册使用，认为AI是必选项。Stripe联合创始人对依赖AI代码存疑。