OpenAI 報告十項由 AI 生成的數學與理論電腦科學進展
OpenAI 表示,其 Astra 模型在長期未解的數學與理論電腦科學問題上產生了十項進展,並以 Lean 形式化供審查。
OpenAI 表示,其 Astra 模型在長期未解的數學與理論電腦科學問題上產生了十項進展,並以 Lean 形式化供審查。
OpenAI 將提供 100,000 名學術研究人員免費使用 ChatGPT 與 Codex,將前沿 AI 工具擴展到科學領域直至 2027 年。
OpenAI 釋出 GeneBench-Pro,一項基因體學基準,旨在衡量 AI agent 是否能在生物學工作流程中做出研究等級的判斷。
OpenAI for Science 的最新新聞與分析