Greg Brockman

相关阅读

1. 研究

   两千美元的证明栈：内部 Astra 把十道数学硬题推进 Lean2026年9月6日

2. 基础模型

   Greg Brockman：Astra 用于核查科学论文2026年9月6日

3. 研究

   700 瓦对上 1400 瓦：OpenAI 把 Jalapeño 的第一张推理计分板钉上了墙2026年9月6日