Immer mehr Gesichter der 00er-Generation erscheinen im Risikokapitalbereich.
Die Investmentbranche hat erfahren, dass Axiom Math offiziell die erste Finanzierungsrunde über 64 Millionen US-Dollar (ca. 460 Millionen RMB) abgeschlossen hat, angeführt von B Capital, mit Beteiligung von Greycroft, Madrona und Menlo Ventures. Die Nachfinanzierungsbewertung liegt bei 300 Millionen US-Dollar (ca. 2 Milliarden RMB).
Die Schöpferin von Axiom ist die 00er-Generation Hong Letong (Carina Hong) – geboren und aufgewachsen in Guangzhou, besuchte sie die renommierte South China Normal University High School und gewann mehrfach Medaillen bei Mathematik-Wettbewerben. Später trat sie in das Massachusetts Institute of Technology ein, erwarb ihren Master-Abschluss an der University of Oxford und kam dann an die Stanford University, um ihren Doktortitel zu verfolgen.
(Bildquelle: MIT)
Es ist recht dramatisch, dass die Entstehung von Axiom aus einem Gespräch in einem Café resultierte.
Still und leise erobern die Gründer der 00er die AI-Bühne.
10 Personen, die die erste Finanzierungsrunde abgeschlossen haben, mit einer Bewertung von 2 Milliarden.
Wer ist Axiom?
Auf der offiziellen Website wird angegeben, dass dieses aufstrebende AI-Unternehmen sich als "Ausgangspunkt eines KI-Mathematikers sieht, um ein selbstverbesserndes superintelligentes Schlüsselsystem zu schaffen".
Mit anderen Worten, dies ist ein Modell, das komplexe mathematische Probleme lösen kann und detaillierte Überlegungen zu den verschiedenen Schritten, die zur Erlangung der Ergebnisse unternommen wurden, erzeugen kann, während es gleichzeitig überprüft wird.
Konkret besteht die Idee von Axiom darin, mathematische Inhalte in Englisch aus Lehrbüchern, Artikeln und Zeitschriften in programmatische Kenntnisse umzuwandeln, damit die künstliche Intelligenz mathematische Probleme lösen und die Lösungen durch Überprüfung validieren kann. In Zukunft wird erwartet, dass die Forschungsanwendungen dieses Modells auf Finanzmodellierung, Chip-Architektur und sogar quantitative Handelsfelder ausgeweitet werden.
In der Vorstellung der Gründerin Hong Letong könnte dieses Modell möglicherweise neue mathematische Vermutungen aufstellen und damit neues Wissen schaffen.
Warum auf den KI-Mathematikmarkt zielen? Es gab eine Episode. Letztes Jahr wurde ChatGPT o3 beschuldigt, bei Mathematiktests zu schummeln. Hong Letong wies in sozialen Medien darauf hin, dass das große Modell von OpenAI möglicherweise bei Mathematiktests gut abschneidet, weil das Unternehmen während des Trainings bereits mit diesen Themen in Kontakt kam.
Sie führte als Beispiel an, dass einige große Sprachmodelle bei der amerikanischen Mathematik-Olympiade eine Genauigkeit von 96 % erreichen können, aber wenn sie aufgefordert werden, den Beweisprozess darzustellen, sinkt die Punktzahl auf 5 %. "Warum gibt es solche Unterschiede? Weil es ein Problem mit der Trainingsmethode gibt." Aktuell können große KI-Modelle kombinatorische mathematische Probleme nicht perfekt lösen, was genau das Forschungsgebiet von Hong Letong ist.
Aus der Sicht von Axiom hat die künstliche Intelligenz einen historischen Wendepunkt gebracht, an dem mathematische Entdeckungen exponentiell schnell wachsen können. Daher stehen wir an der Schwelle zu einer mathematischen Renaissance. Diese Renaissance basiert auf drei Säulen: künstliche Intelligenz, Programmiersprachen und Mathematik. Diese drei treiben gemeinsam eine Reihe von Entdeckungen voran, und jeder Durchbruch wird eine starke Triebkraft für die nächste Innovation bieten.
Nun wurde die erste Finanzierungsrunde offiziell bekannt gegeben, und das Kernteam von Axiom trat zum ersten Mal in Erscheinung - obwohl es derzeit nur 10 Vollzeitmitarbeiter gibt, sind darunter nicht wenige aus dem AI-Bereich von Meta.
Zum Beispiel der aktuelle CTO Shubho Sengupta, der das Meta FAIR-Team leitete und OpenGo und CrypTen entwickelte. Zuvor war er auch an der Forschung zum verteilten Trainingssystem von Google beteiligt und einer der ersten Entwickler der CUDA-Technologie; François Charton war bei Meta für die Forschung zu großen Sprachmodellen in Mathematik und theoretischer Physik verantwortlich und begann 2019 mit der Erforschung der Anwendung von Transformer-Technologie auf komplexe mathematische Probleme; Hugh Leather war ebenfalls ein früherer KI-Forschungswissenschaftler bei Meta und entwickelte eines der ersten großen Sprachmodelle zur Compiler- und GPU-Code-Generierung.
Als einer der Hauptinvestoren sagte der Partner von B Capital auf der offiziellen Website, dass die Lösung komplexer mathematischer Probleme das Herzstück vieler menschlicher Erfindungen ist. Daher wird ein Werkzeug, das in der Lage ist, neue quantitative Hypothesen aufzustellen und zu überprüfen, um eine zuverlässige Grundlage für Entscheidungen zu bieten, zweifellos von großem Wert sein. Das Axiom-Team hat auch einzigartige Vorteile, um diese Gelegenheit zu nutzen und fortschrittliche mathematische Denktechniken in die Realität umzusetzen.
"Carina Hong ist eine herausragende Mathematikerin, die nicht nur außergewöhnliche akademische Leistungen vorzuweisen hat, sondern auch die Leidenschaft und Konzentration besitzt, die die besten Unternehmer auszeichnen. Sie vereint visionäre Führung und unerschütterliche Exekutivkraft perfekt." Ihre Reise hat gerade erst begonnen.
Eine 00er Überfliegerin führt das Team, das aus Guangzhou stammt.
Die Geschichte von Axiom ist untrennbar mit der bemerkenswerten Hong Letong verbunden.
Geboren in Guangzhou, ist sie 24 Jahre alt. Ihre Eltern sind gebürtige Chaozhou-Leute. Obwohl ihre Eltern keine Hochschulbildung genossen, zeigte Hong Letong bereits in der Kindheit außergewöhnliches mathematisches Talent, und sie besuchte die renommierte Huazhong Normal University Affiliated High School in Guangdong.
Während ihrer Oberschulzeit war Hong Letong eines der vier Mädchen im Team der Provinz bei den Mathematik-Olympiaden und erzielte mehrfach gute Platzierungen in Wettbewerben wie dem "Hua Luogeng Gold Cup" und der nationalen Mathematik-Olympiade. 2019 trat sie am MIT ein, um ein Doppelstudium in Mathematik und Physik zu absolvieren.
Während ihres Studiums war Hong Letong die einzige von vier Mädchen im Mathematikverband und erzielte mehrfach gute Platzierungen bei Wettbewerben wie dem "Hua Luogeng Gold Cup" und der nationalen Mathematik-Olympiade für Oberschulen. 2019 wurde sie an das MIT aufgenommen, um ein Doppelstudium in Mathematik und Physik zu absolvieren.
Ende 2022 erhielt Hong Letong erfolgreich das Rhodes-Stipendium der Universität Oxford und wurde einer von nur vier chinesischen Stipendiaten. Das Rhodes-Stipendium zählt zu den ältesten und renommiertesten internationalen Stipendienprogrammen der Welt und wird oft als "Nobelpreis für das Grundstudium" bezeichnet.
Danach ging Hong Letong an die Universität Oxford in Großbritannien, um Neurowissenschaften zu studieren und einen Master-Abschluss zu machen. Während dieser Zeit forschte sie auch an der University College London zu künstlicher Intelligenz und maschinellem Lernen. Damals äußerte sie: "Wie wird die Interaktion zwischen künstlicher Intelligenz und Wissenschaftlern in der Zukunft aussehen? Das ist das Thema, das ich als nächstes erforschen möchte."
Im August 2024 wird Hong Letong an der Stanford University ein Doktoratsstudium in Mathematik und Rechtswissenschaften beginnen. "Ich war immer ein Forscher", sagte sie in einem früheren Interview und äußerte den Wunsch, echte technische Probleme zu lösen. Bald darauf trat sie in die KI-Welt ein.
Die Gründung von Axiom entstand aus einem Gespräch in einem Café.
An einem Wochenende im vergangenen Herbst unterhielt sich Hong Letong in einem Café in der Nähe von Stanford mit Shubho Sengupta, der damals noch bei Meta arbeitete. Die beiden sprachen mehrere Stunden über die Schnittstellen ihrer Forschungsgebiete und die Möglichkeiten, künstliche Intelligenz zu nutzen, um einige der kniffligsten mathematischen Probleme der Welt zu lösen.
Kurz nach diesem Austausch brach Hong Letong ihr Studium an der Stanford University ab, um Axiom zu gründen. Interessanterweise sind die Konferenzräume von Axiom nach mathematischen Größen benannt, wie Gauss und Ada Lovelace.
Als Anfang des Jahres DeepSeek weltweit im Trend lag, äußerte Hong Letong: "Ein kleines, fokussiertes und einzigartiges Team. Eine Gruppe idealistischer Partner. Sie zeichnen sich durch hohe Durchsetzungskraft und persönliche Anstrengung aus. Am wertvollsten ist der Glaube, der aus dem Zusammenspiel von Ideal und Mission entsteht. Das ist die Geschichte von DeepSeek, und das ist die Geschichte, die ich selbst schreiben möchte."
Wie Axiom auf der offiziellen Website sagt: "Die Zukunft der mathematischen Entdeckungen beginnt hier."
Die 00er setzen sich in der KI durch.
Von oben gesehen, steigen die Gründer der 00er kollektiv auf die KI-Bühne.
Vor kurzem haben zwei 00er von MIT - die 22-jährige chinesisch-amerikanische Jessica Wu und der 23-jährige Neil Deshmukh - mit ihrem Unternehmen Sola Solutions eine Finanzierung von bekannten Risikokapitalgebern im Silicon Valley erhalten. Auf der offiziellen Website ist zu sehen, dass die Finanzierung aus einer 3,5 Millionen US-Dollar Seed-Runde von Conviction und einer 17,5 Millionen US-Dollar Series A, die von a16z angeführt und von Conviction mitfinanziert wurde, insgesamt 21 Millionen US-Dollar (ca. 1,5 Milliarden Yuan) umfasst.
Solche Fälle treten zunehmend auf.
Im Mai dieses Jahres schloss das KI-Startup Anysphere eine Finanzierungsrunde über 900 Millionen US-Dollar (etwa 6,5 Milliarden Yuan) ab, mit einer Bewertung von 9 Milliarden US-Dollar und wurde zu einem der heißesten KI-Programmier-Einhörner des Jahres. Angeführt wird das Unternehmen von vier jungen Gesichtern - im Jahr 2022 haben Michael Truell, der von der MIT graduierte, und seine drei Kommilitonen beschlossen, in die KI-Programmierung einzusteigen, und das Produkt Cursor hat die Programmierweise revolutioniert und schnell das Silicon Valley AI-Umfeld erobert.
Zufälligerweise gab die AI-Jobbörse Mercor im März dieses Jahres bekannt, dass sie eine Finanzierung von 100 Millionen US-Dollar in der Serie B abgeschlossen hat, mit einer Bewertung von 2 Milliarden US-Dollar, und das Wachstum ist beeindruckend. Die Gründer des Unternehmens sind drei 00er, die im zweiten Jahr in ihrem Wohnheim Mercor gründeten und später beschlossen, ihr Studium an Harvard und der Georgetown University abzubrechen, um Vollzeit zu gründen.
Wir richten unseren Blick zurück auf das Inland, wo sich eine ähnliche Szene abspielt.
Anfang dieses Jahres gründeten drei "00er Geek" von Tsinghua - Min Yuheng, Cheng Yi und Li Yizhe ein Robotik-Startup namens Zero Power. Heute hat das Unternehmen erfolgreich eine Finanzierungsrunde in Höhe von über 100 Millionen Yuan abgeschlossen, unterstützt von bekannten Institutionen wie Hechuang Capital, Tongchuang Weiye, Lihe Kechuang, Shuimu Fund,瑞穗力合, und Ralf Capital.
Es gibt auch Lingchu Intelligent, das zuvor eine Angel-Runde abgeschlossen hat, angeführt von Hillhouse Capital und BlueRun Ventures. Der Mitgründer Chen Yuanpei ist ein 00er, der von Robotern besessen ist und als Gastforscher an Stanford unter Karen Liu und Fei-Fei Li studierte; Yang Fengyu, der Gründer und CEO des Unternehmens für verkörperte Intelligenz UniX AI, wurde 2000 geboren, studierte Informatik an der University of Michigan und gründete nach seinem Doktorat an der Yale University ein Unternehmen in seiner Heimat, das ebenfalls viel Aufmerksamkeit von VC auf sich zieht.
Eine Legion von 00ern erhebt sich still. Einige Investoren haben analysiert, dass in dieser Welle von KI-Startups die Gründer der 00er, 90er und 80er alle auf demselben Ausgangspunkt beginnen, wobei die ersteren sogar einen größeren Vorteil haben. Denn viele Dinge sind zu neu, um frühere Erfahrungen direkt zu nutzen, während die 00er keine Lasten haben und ein stärkeres Gefühl für neue Dinge haben.
"Wir sind fest davon überzeugt, dass Unternehmertum in vielen Fällen den jungen Menschen gehört." Der Partner von Zhenge Fund, Dai Yusen, äußerte kürzlich: "Unkenntnis bringt Furchtlosigkeit. Viele technologische Innovationen entstanden gerade, weil die Beteiligten zwar Bescheid wussten, aber dennoch furchtlos waren, was zu innovativen Ideen führte."
"Die Jugend hat den Tatendrang, und die Zeit bringt die Entschlossenheit." Jede Generation junger Unternehmer wird in der langen Flussgeschichte ihre eigene Spur hinterlassen. (Wall Street Journal)\u003cc-5/\u003e
