@aspensmonster@tenforward.social @cwebber@social.coop If the LLM did all the work, what were the team of mathematics PhDs doing? There is something that doesn’t fit, as usual in LLM matters. Also, brute-force mathematics seems to me like never getting to the concept of multiplication, and instead just being stuck at the ”counting the small squares in the big square” stage. No new abstractions, no new understanding. What good is a proof if it farts in the forest, sorry, if it doesn’t make us understand more?