Paige Bailey, who works on Google's Gemini, says AI-generated math proofs share the spirit of obfuscated C code contests. She describes Lean-verified code that looks like gibberish, which the compiler accepts as valid, and that resists reverse-engineering and reveals odd edge cases.
then: obfuscated C code contests
now: AI-generated math proofs
same exact energy
"i have no idea what this does or if it's cursed, the compiler (lean) says it's valid, the code looks like complete gibberish, attempting to reverse-engineer it breaks your brain and finds weird edge cases"
Source: 👩💻 Paige Bailey · x.comPublished · added here
