Human-level math competitions will soon be trivial for AI, just as human-level chess/Go/etc became trivial for AI. 

In 1997, a mainframe was needed to beat Kasparov at chess. Now, your phone can beat Magnus Carlsen.

🚨🚨🚨BREAKING: DeepMind leader calls OpenAI’s IMO gold claim bullshit: 

“IMO has an internal marking guide no one outside sees. Without that, you can’t claim a medal. With the point you lose on P6, you’re Silver, not Gold.”

Reminder: 
&gt; OpenAI didn’t even collaborate with IMO. https://t.co/fSp7oXyZxU