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
@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.
@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.
@foolishowl @mhoye @hazelweakly First they came for the journalists.... Not really surprising that there's nobody competent to speak up for everyone else now.
Oct 31, 2026, 11:06 PM@hazelweakly but Hazel, think of all the people thinking they suddenly are better than everyone! They even have "proof" from a "proof validating machine" that their machine is better than everyone.
Think of their poor egos! How could they survive!
Oct 31, 2026, 11:07 PM@hazelweakly also i love pointing out that even if it was a formal proof. Even if. Big if.
The code that blew up Arianne V maiden flight was formally proven. Oopsie
@Di4na very true :)
People love to point to formal verification as a magic wand when they don’t understand it. It genuinely does not solve *most* problems. But it solves *important* ones!
No not that one. Not that one either. Nope, different problem. No not like that. No, nope, definitely not, …
(I love formal verification. It’s a special interest of mine despite having never had time to dabble deeply into it. But people taking “dogs learned human speech because they can hit a button on the floor” levels of non-understanding and applying it to formal verification was not a thing I anticipated happening)
@hazelweakly I just did it. Thought it would help. Kbye.
@hazelweakly if you don't understand it, you don't know if the machine did a good job
Who knew that one of the innovations of the 21stC would be to automate pulling shit out of one's ass....