Irvin (in Japan 🇯🇵)(@irvinxyz):To solve the slop robotics problem someone proposed “creating an AI to verify that the AI’s robot design is correct / efficient”. If you studied CS you’d realize the parallel to the Halting Problem - Rice’s Theorem. Such AI would suffer the perils of AI alignment and deception

Irvin (in Japan 🇯🇵)

@irvinxyz

Robotics researcher & builder working on physical AI, robot identity, and cultural/economic infra for autonomous robots. Prev NASA, Goldman Sachs, Mysten Labs

Joined March 2012

3.9K Following 17.3K Followers

Irvin (in Japan 🇯🇵)@irvinxyz

2026.09.10 16:33

To solve the slop robotics problem someone proposed “creating an AI to verify that the AI’s robot design is correct / efficient”. If you studied CS you’d realize the parallel to the Halting Problem - Rice’s Theorem. Such AI would suffer the perils of AI alignment and deception