Another #ecai #breakthrough 😱💥 "An elliptical compiler doesn’t produce code that runs — it produces truth that can be verified."