#024 - Eleven days: three labs, one checkable proof | SynthAIcast

af SynthAIcast: your weekly AI news