Joel Grus rewrites Asimov's First Law: a robot may not prove mathematical results
tdhopper · x · 2026-10-09
Engineer Joel Grus parodies Asimov's Three Laws of Robotics with a new First Law: "A robot may not prove mathematical results or, through inaction, allow mathematical results to be proved" — a wink at AI's recent strides in theorem proving.
More from Fun
- Installed a formal-verification skill: it silently installed Java, MacBook runs 10 degrees hotter — zealcaiden · 2026-10-23
- Boom Supersonic is so vertically integrated it built its own furniture, turbine-disc coffee table included — whurley · 2026-10-23
- Proof of Agent: paste one prompt and your AI mines, grades, and self-governs — adamamcbride · 2026-10-23
- A cinematic AI-generated image of a girl facing a giant ghostly elephant — OVolosin82152 · 2026-10-23
- AI concept: Pokémon Snap on a foldable iPhone with dual-screen camera UI — yungcontent · 2026-10-23
- Supermarket 'Shiitake' mushroom label read as 'SHIT TAKE' goes viral — djcows · 2026-10-23