I really need y’all to understand that “I had AI generate a bunch of gibberish code in a theorem prover that I can’t read and don’t know how to operate” does not count as formal verification
It is really *truly* starting to grate on me
1 Boost
0 Likes
@mhoye @hazelweakly The press has been very credulous. Articles about hundreds of difficult problems in mathematics being solved, and mathematicians have to cope with their discipline being eliminated.
Then way down the page, oh by the way, parts of the proofs are plagiarized, no one has verified anything, overall the proofs look like gibberish, and the science magazines are just taking the tech companies at their word.
@hazelweakly this is infuriating to me. Ok, you’ve taken a problem we don’t understand, and with a massive application of plagiarism, computation and petroleum you’ve turned it into a different problem we also don’t understand. Fantastic. What have we gained here. What the hell do you believe this accomplished.