alt Hacker NewsSome people (almost all mathematicians) wouldn’t want to spend time on consequences of a false statement. In the present discussion it’s not about letting me do something I can’t do now but about whether or not the endeavor is worthwhile.
A lot of people spent a lot of time and effort to prove or disprove the Jacobian Conjecture. AI solved it easily. It is increasingly becoming the case that humans are not as good at mathematics as computers. You are free to ignore computer generated proofs but I don’t think this position will win out in the long run.
> Some people (almost all mathematicians) wouldn’t want to spend time on consequences of a false statement.
No, people constantly prove statements of the form "if P=NP, then strange implication X". They do not consider it wasted effort at all, because of the contrapositive: if X is indeed very strange, they might be able to prove that it is false, and then they've settled P!=NP.