maximkazhenkov comments on OpenAI Solves (Some) Formal Math Olympiad Problems

[maximkazhenkov]

Just like the push to automate truck drivers. Any day now.