Twenty-five Fields Medal winners have published a joint declaration warning about what they see as a severe misalignment between AI companies and the mathematics community.
@MaximumCotlet >we already know that a proof of X exists through heuristics
No we fucking don't, that's kind of the point of proving something. Lots of people expect P != NP but famously Knuth thinks P = NP