「后训练系统」共找到 5130 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
AI开始接管实验室了！玻尔·跃迁实验室：试剂、设备、数据一个入口搞定，1800+设备即插即用
深势科技推出玻尔·跃迁实验室，解决传统实验室设备割裂、经验依赖、数据离散、部署低效等痛点，围绕计算 - 实验 - 数据 - 计算无缝闭环底层重构，与传统 ELN/LIMS 不同。
苹果提出新型反向传播：一台iPhone 15 Pro Max就能微调LLM
苹果提出内存高效型反向传播（MeBP），可在内存使用量和计算时间上比零阶优化（ZO）有更好权衡，收敛更快、性能更优，还在iPhone 15 Pro Max验证其有效性，且公开了实现链接但目前为空。
刚刚！AI 圈顶流 Karpathy 三连击：开源、泼冷水、AI 教育~
10月，AI圈顶流Andrej Karpathy有三连动作：开源nanochat项目，100美元可复刻ChatGPT；发表AGI十年论，给行业泼冷水；推进Eureka教育项目，重构AI教育范式。
MIT终身教授何恺明，入职谷歌了
AI大牛何恺明刚拿下MIT终身教职，便加盟谷歌DeepMind任杰出科学家，此次为兼职。他与谷歌早有研究合作，此前在CV领域成果丰硕，谷歌学术总引用超71万次。
陶哲轩DeepMind梦幻联动，最强通用科学Agent来了！一口气解决芯片设计、矩阵乘法和300年几何难题
谷歌DeepMind与陶哲轩等打造的AlphaEvolve是LLM驱动的进化编码Agent。它能优化计算生态、调度数据中心等，还解决了数学难题，已在谷歌内部使用，现开启早期邀测试用。
Claude：十层认知
作者读完《解析物理的十层之旅》后，手搓Lisp Prompt实现十层认知相关功能，给出了如费曼、十层认知、可视化等函数的源码。
在Claude桌面版里用任意模型
现在Claude桌面版可使用任意模型，这是4月官方更新添加开发者模式带来的功能。文中介绍了操作方法，还称Claude桌面版是世界最好的AI客户端，覆盖多种使用场景，推荐大家使用。
炫酷全能，一个窗口搞定所有，狂揽 1.5w 星！
Wave Terminal是开源跨平台终端应用，将命令行与图形化工具集成，操作在自由拖拽布局界面完成，减少上下文切换。有灵活布局、强大编辑器等特性，安装简单，创造全新高效工作流。
Cursor 联创宣布离职，公开声明仅写了 72 个单词
美国当地时间10月29日外媒消息，AI编码工具Cursor背后公司Anysphere联合创始人Arvid Lunnemark已离职，其10月18日发布72个单词的声明，未透露离职原因。