AI hat gerade einen Wendepunkt in der Mathematik überschritten. @tachim CEO @HarmonicMath darüber, wie AI die mathematische Verifikation verändert: „Vor einem Jahr war es praktisch unmöglich, Beweise mit AI zu formalisieren. Jetzt wird es sehr schnell akzeptiert.“ „Früher, wenn du ein Erdős-Problem gelöst hast, benötigtest du einen Professor, der dafür bürgt, was sein Ansehen riskierte und viel Zeit in Anspruch nahm.“ „Jetzt kann jeder versuchen, eine Lösung zu finden, sie zu formalisieren, und jeder kann sich sicher sein, dass sie korrekt ist.“