The speaker estimates that a human mathematician takes about 100 minutes to solve an International Mathematical Olympiad problem.

“And so every year you're seeing this like 10x increase in the tasks they're able to do in terms of like length of how long it would take a human mathematician to do it. And then it was very sensible that a year later we get to IMO gold because that's 100 minutes. That's about how long it takes a human mathematician.”

“to do an IMO problem.”