📁 Terence Tao, Gewinner der Fields-Medaille, sagt, dass KI bereits viele mathematische Beweise generieren kann. Der eigentliche Engpass ist die Verifizierung. Ideen zu schaffen wird billig. Zu wissen, welche davon wirklich korrekt sind, bleibt menschliche Arbeit.