「Lean 4」共找到 1507 篇相关文章
4页绝密文件曝OpenAI野心！ChatGPT占领人类心智，25年致命杀招公开
法院文件揭露OpenAI战略，要让ChatGPT成年轻一代心中「最酷智能体」。2025年上半年将其升级为超级助手，下半年扩展功能。还剖析对手，计划构建护城河，加倍投入品牌。
3.4K星Apple出品FastVLM：视觉TTFT效率提升85倍，凭啥这么牛！
文章指出VLM在实际生产应用中因高分辨率图像存在效率问题，介绍Apple出品的FastVLM解决方案，阐述其架构、训练过程，展示在多个基准测试的性能，凸显在高分辨率输入下提升效率的优势及实际应用价值。
20岁了！劈柴哥发帖庆生：谷歌翻译换了4代AI，第一次有了「呼吸感」
4月28日，Google Translate满20岁，Pichai发帖纪念，回顾其技术发展，从统计模型到神经网络，再到Gemini原生语音模型，Translate不断进化，能保留语调和节奏，虽被大模型抢风头，但仍在持续进步。
Anthropic让9个Claude Agent花5天做出比人类强4倍的对齐成果
Anthropic发表Automated Weak - to - Strong Researcher，用9个并行的Claude Opus Agent组成自动化研究团队，5天就把PGR从人类的0.23提升到0.97，成本约$18,000，证明AI自动化研究可行。
4B模型幻觉抑制能力超越GPT-5，CMU等提出行为校准强化学习新方法
大语言模型幻觉问题是部署难题，CMU等研究人员提出行为校准强化学习新方法，重新设计奖励函数。经训练，40亿参数模型幻觉抑制力超GPT - 5，实验证明该方法效果显著，还带来理论洞察。
首个千万美金ARR的AI4S公司，完成AI设计新分子商业应用
2026 年初，AI 从「单一工具赋能」转向「场景深度共生」。MetaNovas 携 Agentic AI 先进材料发现平台亮相，以创新模式打破传统研发瓶颈，完成从「AI 设计」到「AI 落地」跨越，实现千万美金 ARR。
Claude杀入Office全家桶，全球4.5亿打工人一夜变天！OpenAI惨烈出局
微软推出办公神器Copilot Cowork，全面接管Office。它内置Claude模型，能执行任务、运行工作流，可处理日程、会议准备等场景。微软采用多模型策略，抛弃OpenAI，Copilot Cowork适合企业，价格较高。
打造4大“AI龙虾” 军团，才懂钉钉为何是企业数智化的最佳答案
企业数智化喊了多年却鲜有成功，多数企业面临技术门槛高、系统不通、数据孤岛等问题。把Copaw这个AI Agent接入钉钉，运行了写日报、商机搜寻、A股财报分析、电商数据整理分析四个案例，展现了钉钉平台化优势，是企业数智化有效解法。
o系列模型开创者，OpenAI研究副总裁官宣离职，还是codex，GPT-5，GPT-4核心
OpenAI研究负责人Jerry Tworek工作近七年后宣布离职，他是“波兰帮”成员、研究副总，贡献包括o1和o3模型、Codex等，离开是为探索在OpenAI难进行的研究。
以孔子命名，超越Claude 4.5 Opus，Meta发布工业级自我进化AI软件工程师CCA
Meta与哈佛联合推出工业级软件工程师CCA，它是一套让AI在工业级代码库协作的方法论，解决长上下文推理等难题。其三维解耦设计、精细记忆机制、自我进化能力获数据验证，还适合引入强化学习。