Safeguarded AI (Part 2)
Azimuth 2025-11-20
Summary:
60 people, including a lot of category theorists, are meeting in Edinburgh for the £59 million UK project called Safeguarded AI. I talked about it before here. The plan is to build software that will let you precisely specify systems of many kinds, which an AI will design, and verify that what the AI designed […]