3 ms·
Hehe, well, we'll need to have a tool-assited international math Olympiad then.
by Ericson2314 2y ago
Hehe, well, we'll need to have a tool-assited international math Olympiad then.
- ComplexSystems 2y agoThis is the greatest idea ever. Why doesn't this exist?
- panagathon 2y agoThis does sound like a lot of fun. Since this AI only reaches silver level, presumably such a contest could be quite competitive, with it not yet being clear cut whether a human or a tool-assisted human would come out on top, for any particular problem.
- sebzim4500 2y agoIf the tools are the same as the ones AlphaProof gets (i.e. a lean compiler) then no one would use them.
- Ericson2314 2y agoWell, hopefully that changes soon :)