The Decoder·10h agoOpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up#openai#mathematics#lean 3 sources 3 min1