筛选结果
3 篇排序
0:53EN → 简体中文Sam Altman 谈 AI 与新知识的发现Sam Altman · OpenAIAltman 预计，数学发现方面的进展将延伸到生物学、材料和能源领域。
0:47EN → 简体中文GPT-5 与自动化实验室：一条科研工作流程Matthew Berman · Forward FutureMatthew Berman 介绍 OpenAI 与 Ginkgo Bioworks 将 AI 模型连接至实验室自动化设备的演示。
13:30EN → 简体中文
3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。