Steven Clontz

@clontz.org

Mathematician, professor, puzzler, cat juggler Pronouns he/him Website clontz.org Puzzle PBaiReGOVANeLpNFrFGBfVkyRgGREf https://orcid.org/0000-0002-4938-4274

> I presume the proof is correct (there's supposedly a Lean formalization, after all), but it will take me some time to digest it. This is why math is still important in a world where AI can provide nontrivial proofs. There's far more to care about with most interesting questions than yes/no.

Henry Yuen@henryyuen.bsky.social · 4d ago

Life was busy so I didn't get a chance to look, but I guess now the cat's out of the bag so I probably should opine a bit. I presume the proof is correct (there's supposedly a Lean formalization, after all), but it will take me some time to digest it.

Mansplained dice pair sum distributions to my wife (she's played Catan lol what was I thinking) and was appropriately punished by losing to her in Can't Stop.