discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Solving some formal math olympiad problems
https://openai.com/blog/formal-math/
16 comments
2/2/2022
Reddit
[R] OpenAI built a neural theorem prover that can solve (some) formal Math Olympiad problems
https://twitter.com/OpenAI/status/1488947281525051392
7 comments
3/2/2022
machinelearning