X · @teortaxesTex
· X / Twitter
germony… ngmi no words
germony… ngmino wordsThomas Mach: @ptrschmdtnlsn I don't think the hype is real. AI companies are intransparent in their processes and hired a lot of mathematicians to train the LLMs. It would be a fairly easy marketing ploy to have them write new proofs and feed them into the training data.