「证明者 - 验证者」共找到 1486 篇相关文章
颠覆算力格局！全球首个星座级太空AI算力服务，在中国诞生
第四届琶洲算法大赛中，国星宇航与佳都科技联手推动「慧行·AI上星」实验，标志国星宇航成全球首个提供常态化星座级太空算力商业服务公司，验证太空算力承载行业应用可行性。
仅用提示词工程摘下IMO金牌！清华校友强强联手新发现，学术界不靠砸钱也能比肩大厂
清华校友杨林和黄溢辰，仅用提示词设计和自我迭代验证流程，让基础模型Gemini 2.5 Pro达到IMO金牌水平。他们设计的流程分六个步骤，用差异化提示词，最终为5道题生成严谨解答。
从后训练回到预训练，LLM+RL 的潜力兑现有有机会走更远吗？
RL与LLM结合是重要技术方向，应用从后训练延伸至预训练。虽看似为LLM+RL带来希望，但RL本身有局限。微软等提出的RPT有潜力，不过训练语料等未广泛验证，且需大量计算资源。
以孔子命名，超越Claude 4.5 Opus，Meta发布工业级自我进化AI软件工程师CCA
Meta与哈佛联合推出工业级软件工程师CCA，它是一套让AI在工业级代码库协作的方法论，解决长上下文推理等难题。其三维解耦设计、精细记忆机制、自我进化能力获数据验证，还适合引入强化学习。
AI造富神话：12天身价暴涨358亿！囤25万块GPU，英伟达带飞百亿富豪
AI云服务商CoreWeave上市3个月股价涨300%，CEO Michael Intrator 12天身家增超50亿跻身富豪榜。早期投资人也大赚，但公司依赖英伟达GPU和大客户，亏损且债务高，做空者众多。
2026 奇点智能技术大会上海站来袭，解码AI Agent、世界模型与氛围编程等新范式
2026奇点智能技术大会·上海站4月17 - 18日召开。AI正成变革性力量，此次大会升级聚焦AI规模化落地，设十二大专题，有多位出品人与演讲嘉宾带来实践经验与技术洞察，还开放合作与分享者申请。
坏了，我成AI的乙方了！Anthropic论文爆火，谁还敢无脑Copy？
Anthropic开年论文实锤AI让程序员变傻，用AI辅助的人比纯手写只快2分钟，且测验平均分低17%。研究将工程师使用AI的交互行为归纳为五种模式，指出主动拷问AI才能进化，高分者会主动制造障碍。
首个转型AI公司的新势力，在全球AI顶会展示下一代自动驾驶模型
上周，小鹏 G7 亮相，首发自研芯片与 VLA - OL、VLM 模型。同时，小鹏在 CVPR 2025 分享研发进展。其世界基座模型展现高智能，还将结合世界模型迭代。此外，小鹏验证 Scaling Laws，转型 AI 公司，全链路优化技术。
高德纳：「震惊！震惊！」Claude破解《计算机程序设计艺术》难题
著名计算机科学家高德纳在论文中表达对AI强大能力的震惊，其朋友借助Claude Opus 4.6解决了他研究几周的开放性问题。Claude经31步探索给出Python构造程序，奇数情况获证明，偶数仍待解。AI在数学领域已取得多方面突破。
The Information：揭秘 OpenAI GPT-5 崎岖的研发之路
The Information揭秘OpenAI GPT - 5研发困境，今年OpenAI遇技术难题，o3等模型研发受阻，内部有分歧。不过GPT - 5在编程等方面有提升，虽难与早期飞跃相比，但改进仍有价值，公司还在开发‘通用验证器’。