finally messed around with chatgpt. wondered if it could do math. Was slightly suprised it was able to instantly give pretty decent proofs to well known or trivial things (eg. infinitude of primes, or that some group was abelian). but maybe group theorists are safe for now.