finally someone is saying it our loud lol. mathematicans are just finding lower and upper bounds and having a computer input them into a theorem prover more times than a human is able to on their own. ai imo isnt solving anything.