4 ms·I want to achieve mathematical superintelligence, so why am I doing LLMs now?3 points by sebg 2y ago