翁荔最新万字长文：Why We Think

北大校友、前OpenAI华人VP翁荔发布万字长文《Why We Think》，围绕“测试时计算”和“思维链”，探讨提升模型性能的方法，涉及心理学类比、基于Token的思考、分支与编辑等多方面内容。

打破56年数学铁律！谷歌AlphaEvolve自我进化实现算法效率狂飙，堪比AlphaGo“神之一手”

谷歌DeepMind联合顶尖科学家打造「通用科学人工智能」AlphaEvolve，打破矩阵乘法领域56年效率基准，将4x4矩阵乘法标量乘法次数从49次降至48次，还在谷歌内部加速了运算、缩短训练时间。文中介绍其原理与技术。

通过查看GPU Assembly分析CUDA程序

文章是关于通过分析SASS代码提高内存受限CUDA程序性能的笔记。以向量复制程序为例，对比普通和向量化版本，通过查看SASS代码，解释向量化版本性能更快的原因是加载/存储数据量更大、启动块数更少。

Borg调度进化了！谷歌超强AI Agent 登场：能设计算法、提效系统，陶哲轩亲自助攻，网友封神理科扛把子！

谷歌 DeepMind 推出由 Gemini 驱动的 AI 智能体 AlphaEvolve，能设计算法、提效系统，破多项数学记录。它已用于谷歌多领域，还将探索材料、药物研发等领域，也计划推早期访问计划。

刚刚，OpenAI开放GPT-4.1，100万上下文、代码能力超强

今天凌晨1点30，OpenAI宣布开放GPT - 4.1，可在ChatGPT中使用。它针对编码任务，支持100万tokens上下文，在多项测试中表现优于前代，价格更优，不同用户将陆续获得使用权限。

文生图进入R1时代：港中文MMLab发布T2I-R1，让AI绘画“先推理再下笔”

港中文MMLab团队发布首个基于强化学习的推理增强文生图模型T2I - R1。它提出双层级CoT推理框架和BiCoT - GRPO强化学习方法，解决生成评估难题，为多模态生成提供新范式。

已经狂揽了15.2k!Cursor 的开源平替 Void 来了！

今天介绍新工具 Void，它是开源的 Cursor 和 GitHub Copilot 替代品，完全免费。拥有强大编程功能，可直连 AI 模型，基于 VS Code 开发，对其用户友好，还介绍了上手、构建等方法。

“光靠人盯不住了”！拆解上万张晶圆，这家公司靠 AI 将芯片良率提升数个百分点

喆塔科技创始人赵文政看好半导体软件领域引入AI技术。喆塔将DeepSeek接入自研模型，应用机器学习算法提升半导体企业良率，构建智能生态系统，产品获客户认可，未来将加大研发投入。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

机器人梦寐以求的“GPT时刻”，会不会就是GPT本身？

本文围绕GPT-6 Astra发布后的行业测试展开，讨论通用大模型能否成为机器人的通用大脑，分析了通用大模型参与机器人控制的原理与优势，点明当前能力边界，提出了分工协作的落地方案。