Pwnallthethings @pwnallthethings.bsky.social · 09/08/2026Many of the proofs these tools are generating are being generated by the mathematicians who want specifically to solve that problem, because it's in their field! 100
Boxo McFoxo @boxobark.ing · 09/08/2026I don't think it's a great thing that you have a bunch of singularitarians on Reddit and X whose motivations are not to actually advance mathematics, and now even OpenAI themselves, putting out things that mathematicians have to then put in the effort to debunk. 000
