Wir freuen uns, $1.000.000 an Sponsoren direkt an Studierende und Forscher zu vergeben, um weitere Erkundungen mit AI und formaler Verifikation zu fördern. Weitere Details 👇

In den letzten zwei Monaten, seit wir Aristotle der Öffentlichkeit zugänglich gemacht haben, wird immer deutlicher, dass wir in eine neue Ära der mathematischen Entdeckung eintreten. Studierende und Forschende auf allen Ebenen und aus vielen Disziplinen haben Aristotle genutzt, um offene Vermutungen zu lösen und herausragende Ergebnisse zu überprüfen.

Wir setzen unser Kapital und unsere Ressourcen ein, um den Fortschritt in diesem Bereich mit zwei anfänglichen Sponsoring-Stufen weiter zu beschleunigen.