gpt-6POST
Using Astra to catalogue OpenAI's mathematical physics papers
The author asked ChatGPT Astra to compile a classified list of OpenAI's new mathematical physics preprints with short summaries and Lean verification status, then exported it as a PDF.
Hal Tasaki
@Hal_TasakiArchived 26 days agoOriginally posted 2026.10.07
Hal Tasaki @Hal_TasakiOriginally posted 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/2107850460782895464Archived 2026.10.08 10:03