gpt-6POST
用 Astra 整理 OpenAI 数学物理论文清单
作者让 ChatGPT Astra 把 OpenAI 新发的数学物理论文编成带摘要和 Lean 验证状态的分类清单，并导出成 PDF。
Hal Tasaki
@Hal_Tasaki25 天前收录原推发布于 2026.10.07
Hal Tasaki @Hal_Tasaki原推发布于 2026.10.07
"Mathematical physics in the OpenAI math release" I asked ChatGPT Astra to compile a classified list of the new OpenAI mathematical-physics preprints, with short summaries and Lean verification status. https://haltasaki.github.io/writings/pdf/OpenAI_Mathematical_Physics_Catalogue_2026-10-07.pdf
x.com/hal_tasaki/status/2107850460782895464采集于 2026.10.08 10:03