Reposted by Pierre Haas
OpenAI quietly releases the full proofs of 377 open conjectures in various fields of mathematics, deepening maths existential crisis. github.com/openai/math
github.com
GitHub - openai/math
Contribute to openai/math development by creating an account on GitHub.