1/ Snabbare slutsats sänker kostnaden. Autonomi ökar ytan. Verifiering blir infrastruktur. Vissa utgångar ser rätt ut. Vissa utgångar är bevisligen korrekta. Den skillnaden kommer att definiera nästa generation av AI-system.