Admin · openai/math follow-ons

openai/math follow-ons

Home Problems Videos Submit a follow-on Admin

Loading…

Independent follow-on work on OpenAI's math preprints; nothing here is peer reviewed, and each claim says how it is checked. Implementations in Tungsten; proofs in Satori.