In einer Welt, in der künstliche Intelligenz zunehmend an Bedeutung gewinnt, gibt es wenige Persönlichkeiten, die so vielversprechend sind wie Carina Hong. Mit nur 24 Jahren hat diese beeindruckende Mathematikerin aus Guangzhou, China, den Mut, ihr Ph.D.-Programm an der Stanford-Universität aufzugeben, um Axiom Math zu gründen – ein Startup, das sich mit den grundlegendsten Fragen in Wissenschaft und fortgeschrittener Mathematik auseinandersetzt.
Die Gründung von Axiom Math im März dieses Jahres hat sofort die Aufmerksamkeit der Branche auf sich gezogen. Nur wenige Monate später sicherte sich das Unternehmen eine Anfangsfinanzierung von 64 Millionen US-Dollar. Hong hat ein Team von 17 Elite-Forschern zusammengestellt, rekrutiert aus den besten Instituten wie Meta FAIR und Google Brain–DeepMind. Das Ziel von Axiom ist klar und ambitioniert: Mathematik als Grundlage für Superintelligenz zu nutzen.
Warum Axiom Math so wichtig ist
„Mathematik ist der perfekte Sandkasten, um Superintelligenz zu entwickeln“, sagt Hong im Interview mit Forbes. Ihre Faszination für Mathematik begann schon in der Kindheit, als sie Englisch autodidaktisch lernte, um Zugang zu fortgeschrittener mathematischer Literatur zu erhalten. In der Schule zeichnete sich Hong durch ihre Erfolge in Mathematik-Olympiaden aus, und sie war eine der wenigen Mädchen in ihrem Team in der Provinz.
- Vorliebe für innovative Probleme
- Erfolge in nationalen Wettbewerben
- Übergang von Wettbewerben zu reinem F研究
Die Reise zur Gründung von Axiom Math
Die Idee für Axiom entstand bei informellen Gesprächen in einem Café nahe dem Stanford-Campus, wo Hong den Meta-Forscher Shubho Sengupta traf, der dann Mitglied des Gründungsteams wurde. Ihr gemeinsames Ziel war mehr als nur die Lösung mathematischer Fragen; es ging darum, neues Wissen zu entdecken.
Die Mission von Axiom
Der Name Axiom wurde gewählt, um eine grundlegende Wahrheit darzustellen, die die Basis aller Theorien bildet. Ziel des Unternehmens ist es, ein „mathematisches KI-System“ zu schaffen, das komplexe Probleme selbstständig löst, formale Beweise generiert und deren Richtigkeit verifiziert. „Wir entwickeln keinen weiteren Chatbot, der Lösungen imitiert“, erklärt Hong.
Herausforderungen und Chancen
„Wir lehren die KI, Theoreme zu beweisen. Das ist eine ganz andere und lohnenswerte Herausforderung.“ Mit der Gründung von Axiom ziehen auch große Namen wie Francois Charton und der berühmte Mathematiker Ken Ono an Bord, die nicht nur aus finanziellen Gründen kommen, sondern sich für die intellektuellen Herausforderungen interessieren.
Anwendungen über die Akademik hinaus
Hong betont, dass die Anwendungen von Axiom weit über den akademischen Bereich hinausgehen und auch Bereiche umfassen, in denen überprüfbares Denken notwendig ist, wie zum Beispiel in der Hardware- und Softwareverifikation, Kryptographie und quantitativer Finanzanalyse.
„Mein Ziel ist es, die Grenzen des mathematischen Superintelligent zu verschieben, damit wir als Erbe unvergesslich werden“, sagt Hong. Der Druck, der aus großen Herausforderungen entsteht, zieht noch mehr brillante Köpfe an. „Wenn die Probleme schwierig genug sind, wird die Gelehrtentaille extrem hoch, und das macht Sie zu einem Magneten für großartige Denker.“
Was hältst du von Carina Hongs Reise und ihren ehrgeizigen Zielen mit Axiom Math? Teile deine Gedanken unten in den Kommentaren!
