🚀 Aleph Prover ist gerade in den BEAST MODE gegangen 4 mathematische Probleme, die seit über 20 Jahren ungelöst sind. Formale Beweise in Lean 4. Weniger als 48 Stunden. Unter 5.000 $ insgesamt. ✅ Binomialtail-Bounds-Vermutung (Telgarsky, 2009) ✅ Näherung des Quanten-Gattergitters (Greene & Damelin, 2015)* ✅ Erdős 124 ✅ Erdős 481 ✅ #1 auf der PutnamBench-Rangliste Die Ära der KI-Mathematik ist hier. Besonderer Dank an @BorisHanin und @ylecun für die Unterstützung bei der Umsetzung 🙏 Und riesiges Lob an das @LeanFRO-Team — nichts davon wäre ohne das unglaubliche Fundament, das ihr geschaffen habt, möglich. Aleph wird bald der Öffentlichkeit zur Verfügung stehen, bleibt dran! *abhängig von den Ergebnissen von Sardari (2015), Formalisierung ausstehend