内幕曝光：OpenAI模型坦承不会第六题，3人俩月拿下IMO金牌！

OpenAI三人团队俩月让AI达IMO金牌水平。他们用多智能体系统技术，使模型能短时间解复杂问题。新模型有自省能力，减少“幻觉”问题。此次突破是通用推理技术进步，未来将整合进更多模型。

YC AI 创业营 Day 2：纳德拉、吴恩达、Cursor CEO 都来了

YC AI创业营第二天，微软CEO纳德拉、吴恩达等七位重磅嘉宾围绕AI技术、创业等话题分享观点，如不要将AI拟人化，智能体将成新一代计算机等，还给出产品开发、创业等方面建议。

只要9美元！LoRA+强化学习，DeepSeek 1.5B推理性能暴涨20%

南加州大学团队基于LoRA的强化学习训练1.5B推理模型，在AIME 24测试上性能提升超20%，成本仅9美元。开源Tina模型结合三大关键技术，与SOTA模型相比竞争力强，研究者还对其有效性提出假设。

小学生都买奔驰宝马了，你还不来玩《汽车大亨2》？

英伟达Vera Rubin首秀，DeepSeek V4 Pro 跑出30倍Agent吞吐

NVIDIA公布基于真实芯片的Vera Rubin性能测试结果，在针对Agent工作负载的测试中优势明显。SpaceXAI将部署其CPU，探索轨道计算。这显示未来AI竞争关键是支撑Agent的计算基础设施。

讲透 Graph Engineering【2】：从画出一张 Graph，到真正把它工程化。

本文探讨 Graph Engineering 在工程落地的关键问题，介绍 Graph 几种基础协作模式，如顺序协作、动态分流等，还提及从 Graph 到 Engineering 的关注点、开发的主流框架与趋势，最后提醒别为了 Graph 而 Graph。

13.3K Star！终于有人把文档转 Markdown 这件事做好了！

AI 应用普及，企业常将不同格式文档喂给大模型，但转换工具存在诸多问题。Firecrawl 团队的开源项目 anydoc 支持 14 种格式统一转 Markdown，速度快、输出一致，还有浏览器版本保障隐私，提供多种编程接口。

1.3万人收藏的 OpenHarness！港大开源轻量级 Agent 基础设施，兼容性拉满！

近期，香港大学数据科学学院团队开源项目 OpenHarness，它是 Agent 基础设施，有 Agent Loop、工具箱等亮点，功能特性丰富，支持多种大模型提供商，还提供多种安装和配置方式。

博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了

近日，Agentic AI工程师Dan McAteer实验发现，OpenAI Codex的Goal Mode完成机械可解释性研究任务，效率比博士高40倍。Codex /goal模式能自主循环，契合科研流程。此外，递归自我改进证据涌现，AGI或早已实现。

Anthropic开始抢科学家了？周薪2.7万驻场，专治Claude专家级错误

Anthropic新推出STEM Fellow岗位，招募STEM领域专家驻场三个月，周薪3800美元，用其判断力校准Claude输出质量。其三年来科研路线不断加码，正构建科研生态。AI科研瓶颈是判断力而非算力。