openai math papers github
how i vibed a proof of conways conjecture
the ai takeover of mathematics has begun
openai astra math
verifying rust cryptography in symcrypt
openai navier stokes ai proof