3 ms·
And say they did use 10% of all GCP? Would it be less impressive? This is a result that was considered by experts to be far beyond the state of the art; it's ab
by falcor84 2y ago
And say they did use 10% of all GCP? Would it be less impressive? This is a result that was considered by experts to be far beyond the state of the art; it's absolutely ok if it's not very efficient yet.
Also, for what it's worth, I'm pretty sure that I wouldn't have been able to solve it myself in three days, even if I had access to all of GCP, Azure and AWS (except if I could mine crypto to then pay actual IMO-level mathematicians to solve it for me).
- nnarek 2y agoyes it is very impressive, especially autoformalization of problems written in natural language and also proof search of theorems
- data_maan 2y agoWhich experts said that? I don't think that's the case at all. The writing was already on the wall.
- SonOfLilit 2y agoThe writing was on the wall for the last year and a half (in fact I lost a bet to an IMO medalist about AI getting IMO gold by 8/2023) but three years ago this was unimaginable.