Comment by scotty79

> you haven't accurately told us what the machines can do today

It told us that using probably unreasonable compute they can solve few math problems that are very hard to solve for high-schools students in 4 hours. That's all the rules. No need to state them ahead of time or at all because they are obvious from the context.

It was just a fun thing to check and good meme for the media. Obviously the machines can do a lot more in some aspects and a lot less in others.

If we at least maintain the current pace in few years instead of machines solving 5 problems almost all high-schools students are incapable of solving in 4 hours they are gonna solve a problem Terence Tao is not capable of solving in one lifetime. Hopefully.