25 Jahre alt hat sie gerade 1,4 Milliarden Yuan Kapital beschafft.

Hong Letong hat die Investmentbranche über eine Finanzierung informiert:

Ihre gegründete KI-Start-up Firma Axiom hat eine Serie-A-Finanzierung in Höhe von 200 Millionen US-Dollar abgeschlossen. Die Leitung übernahm Menlo Ventures, und alte Aktionäre wie Greycroft, Madrona Venture, B Capital und Toyota Ventures haben ihre Investitionen erhöht. Bis jetzt hat das Unternehmen einen Schätzwert von 1,6 Milliarden US-Dollar (etwa 11 Milliarden Yuan) erreicht.

Hong Letong ist 25 Jahre alt und stammt aus Guangzhou. Sie besuchte die High School der Südchina Normal University und gewann mehrmals bei Mathematikwettbewerben. Danach absolvierte sie ihr Studium an der Massachusetts Institute of Technology und an der Universität Oxford. Während ihrer Promotion an der Stanford University entschied sie sich, in die Unternehmensgründung einzusteigen.

Der Kontakt zwischen der Investmentbranche und Hong Letong begann, als Axiom noch im Startstadium war. Damals kursierten Gerüchte über eine frühe Finanzierung, und die Investmentbranche fragte sie danach. Nach mehreren Gesprächen war man von ihr beeindruckt. Während der Gründung von Axiom schrieb sie in ihren Freundeskreis: "Wünsche mir, sowohl eine Blume als auch einen Baum zu sein. Bunt und voller Leidenschaft, allein und standhaft."

Bildquelle: Massachusetts Institute of Technology

Hinter den individuellen Entscheidungen zeichnet sich ein deutlicherer Schnitt der Zeit ab. Die Gründer aus der Generation der 00er treten kollektiv auf die KI-Bühne.

Soeben 1,4 Milliarden Yuan finanziert

Einen Wert von 11 Milliarden Yuan nach einem Jahr Gründung

Der Anfang der Geschichte liegt in einem Gespräch in einem Café.

Es war ein Wochenende im späten Herbst 2024. Die 23-jährige Hong Letong traf in einem Café in der Nähe von Stanford den damaligen Leiter der Meta AI-Forschung, Shubho Sengupta.

Während mehrerer Stunden des Gesprächs diskutierten die beiden über die Schnittstellen ihrer Forschungsgebiete und ob KI die schwierigsten mathematischen Probleme der Welt lösen könnte. Kurz darauf traf Hong Letong eine ruhige, aber entschlossene Entscheidung: Sie brach ihr Studium an der Stanford University ab und gründete Axiom.

Die Geschichten von genialen Mädchen haben immer einen eigenen Glanz. Bald verbreitete sich der Name Hong Letong im Investmentkreis heimlich und schnell. Zu diesem Zeitpunkt begann die Investmentbranche Kontakt mit ihr aufzunehmen. Bei den Gesprächen sprach sie kaum über Trends und Umbrüche, sondern interessierte sich mehr für die Neugierde auf das Problem selbst und die klare Einschätzung der technischen Möglichkeiten.

Heute hat Axiom die Serie-A-Finanzierung in Höhe von 200 Millionen US-Dollar abgeschlossen und ist weniger als ein Jahr nach Gründung in die Gruppe der Unicorns eingestiegen.

Vor nur fünf Monaten hat Axiom gerade die Seed-Finanzierung abgeschlossen. Damals trat das Start-up in Erscheinung und stellte der Öffentlichkeit einen festen Glauben vor: Mathematik ist die richtige Grundlage für die Aufbau von KI-Schlussfolgerungsfähigkeiten.

Im Dezember des vergangenen Jahres hat das Kernsystem von Axiom im Putnam-Wettbewerb, der als "Mathematik-Olympiade für Studenten" gilt, 12 von 12 Fragen richtig beantwortet und damit die volle Punktzahl erreicht. Es ist zu beachten, dass in den letzten fast 100 Jahren nur fünf Personen diesen Erfolg erzielt haben. Anschließend hat das System mehrere offene zahlentheoretische Vermutungen selbst bewiesen.

Das Lösen von mathematischen Problemen ist nur die Spitze des Eisbergs. Axiom versucht, diese "absolut richtige" mathematische Schlussfolgerungsfähigkeit durch Transferlernen in den Bereich der Codeüberprüfung zu bringen, um die Probleme der generativen KI zu lösen.

Aktuell steht die KI-Branche vor einem äußerst spitzen Konflikt: Die Fähigkeiten der großen Modelle wachsen rasant, aber die Zuverlässigkeit bleibt ein schwarzes Loch. "Unsinnige" Aussagen in der täglichen Anwendung mögen unbedeutend sein; aber in den Bereichen Finanzen, Verteidigung oder kritischen Infrastrukturen können fehlerhafte Wahrscheinlichkeiten zu Katastrophen führen.

"Wir treten in eine Welt ein, in der KI fast alle Software schreiben kann. Hinter diesem liegt ein Problem, das fast niemand erwähnt: Alle Codes sind nicht überprüft, was ein riesiges Risiko darstellt." Matt Kraning, Partner von Menlo Ventures, sagte, dass KI alle Codes schreiben wird, aber Mathematik überprüfen wird, ob sie richtig sind.

Die Antwort von Axiom ist die verifizierbare KI (Verified AI).

Einfach ausgedrückt, liegt der Kernvorteil in der formellen Verifikation: Durch die Lean-Programmiersprache wird der mathematische Beweis in ein ausführbares Programm umgewandelt, um grundsätzlich die Richtigkeit des Ergebnisses sicherzustellen. Hier rät das große Modell nicht mehr auf der Grundlage von Wahrscheinlichkeiten, sondern wandelt den Code in strenge mathematische Logik um und beweist das Ergebnis. Jeder Schritt der Schlussfolgerung muss durch einen deterministischen Verifikator überprüft werden.

"Wissenschaftliche Durchbrüche erfordern normalerweise zwei Schritte: die Formulierung einer Hypothese und die Verifizierung durch einen Beweis. Wir haben Axiom gegründet, um die Zeit zu verkürzen, in der Neugierde in Wahrheit umgewandelt wird." Aus Hong Letongs Sicht steht die rekursive Selbstentwicklung der KI kurz bevor. Zu der ultimativen Mission von Axiom hat sie einen sehr aufregenden Kommentar hinterlassen:

"Verified AI befasst sich nicht nur mit der Behebung der Mängel der KI. Es zielt auf die Obergrenze der KI, auf die Stufen zur Superintelligenz."

Eine 00er-Studentin führt das Team

aus Guangzhou

Die Geschichte von Axiom ist untrennbar von Hong Letong, die immer erfolgreich war.

2001 wurde Hong Letong in Guangzhou geboren. Ihre Eltern sind aus Chaoshan. Von junger Zeit an zeigte sie ein bemerkenswertes mathematisches Talent. Sie besuchte die High School der Südchina Normal University, eine berühmte Schule in Guangdong. In der High School war Hong Letong eine von nur vier Mädchen in der Provinzmannschaft für den Mathematik-Olympiade. Sie gewann mehrmals bei Wettbewerben wie dem Hua Luogeng-Goldcup und der Nationalen High School Mathematik-Liga.

2019 wurde sie an die Massachusetts Institute of Technology aufgenommen und studierte Mathematik und Physik. Drei Jahre später erhielt Hong Letong das Rhodes-Stipendium der Universität Oxford und wurde eine von nur vier chinesischen Gewinnerinnen. Das Rhodes-Stipendium ist eines der ältesten und renommiertesten internationalen Stipendienprogramme der Welt und trägt den Beinamen "Nobelpreis für Studenten".

Anschließend absolvierte Hong Letong einen Master an der Universität Oxford in England. Währenddessen forschte sie an der University College London über KI und maschinelles Lernen. Damals sagte sie: "Wie wird die Interaktion zwischen KI und Wissenschaftlern in Zukunft aussehen? Das ist das Thema, das ich in Zukunft untersuchen möchte."

Im August 2024 begann Hong Letong ein Promotionstudium in Mathematik und Jurisprudenz an der Stanford University. "Ich war immer eine Forscherin." In einem früheren Interview sagte sie, dass sie am liebsten echte schwierige technische Probleme lösen möchte. Bald trat sie als noch Studierende in die KI-Branche ein.

Als DeepSeek weltweit bekannt wurde, äußerte Hong Letong: "Ein kleines, fokussiertes und eigenständiges Team. Ein ausgezeichnetes Team von Idealisten. Sie haben eine starke Durchsetzungsfähigkeit und sind selbstständig. Das Wertvollste ist der Glaube, der aus Ideal und Mission besteht. Das ist die Geschichte von DeepSeek, und das ist die Geschichte, die ich selber schreiben möchte."

Heute hat Axiom ein Kernteam zusammengestellt, das als "Traumteam" bezeichnet werden kann:

Der CTO Shubho Sengupta war früher Leiter der Meta AI-Forschung. Er war auch an der Forschung des Google-verteilten Trainingssystems beteiligt und war einer der ersten Experten, die die CUDA-Technologie entwickelten.

Der Kernwissenschaftler François Charton war der Pionier, der das Transformer-Modell in den mathematischen Bereich führte. Er hat mit einem großen Modell eine 30 Jahre alte akademische Vermutung widerlegt.

Am beeindruckendsten ist die Teilnahme des Gründermathematikers Ken Ono. Dieser Mathematikautorität, der zahlreiche Spitzenpreise wie den Guggenheim-Preis und den Sloan-Preis gewann und der ehemalige Vizepräsident der American Mathematical Society war, hat seinen Lebenslauf an der Universität Virginia aufgegeben und sich vollzeit bei Axiom engagiert.

Eine oft erzählte Geschichte ist: In Onos vierzigjähriger Lehrtätigkeit hat er zehn Morgan-Preis-Gewinner betreut, und Hong Letong war einer von ihnen.

"Sie hat sowohl ein tiefes mathematisches Wissen, eine erstaunliche Betriebseffizienz als auch die Fähigkeit, Weltklasse-Talente anzuziehen." Ein Investor sagte: "Das ist die beeindruckendste Gründerin, die ich in meinen zwanzig Jahren in Silicon Valley gesehen habe, keine Frage."

Derzeit hat Axiom mehr als 30 Mitarbeiter, und die Einstellungsgeschwindigkeit nimmt stetig zu. Ihre Geschichte hat gerade erst begonnen.

Die KI-Zeit

Die 00er treten kollektiv auf

Die KI-Welle hat die Bühne der 00er geworden.

Letzte Woche hat die erst seit etwas mehr als einem Jahr gegründete Firma Lingchu Intelligence angekündigt, dass sie eine Angel- und Pre-Serie-A-Finanzierung in Höhe von insgesamt 2 Milliarden Yuan abgeschlossen hat. Die Investoren sind beeindruckend. Ihr Mitbegründer Chen Yuanpei wurde 2001 geboren und studierte an der Peking-Universität und an der Stanford University. Er war Schüler von Fei-Fei Li.

Yang Fengyu, der Gründer von Youliqi, ist ebenfalls ein 00er. Er absolvierte seinen Doktor an der Yale University und sein Bachelor an der University of Michigan in den USA. Er arbeitete früher bei DeepMind. Letzte Woche hat die Firma eine neue Finanzierung in Höhe von fast 300 Millionen Yuan abgeschlossen.

Die Liste ist noch lang. Vier 00er haben die KI-Programmierfirma Anysphere gegründet, deren Schätzwert auf etwa 29 Milliarden US-Dollar gestiegen ist. Die 19-jährige chinesische-amerikanikanischen Mädchen Serena Ge hat die KI-Datenfirma Datacurve gegründet und über eine Milliarde US-Dollar finanziert. Die drei 22-jährigen Mitbegründer der KI-Start-up Firma Mercor sind die jüngsten Selbstmacher auf der Welt...

Ein noch direkterer Schlag ist die Reichenliste. KI ist die jüngste Branche. Die "Hurun U40 Global Self-Made Billionaires List 2026" zeigt, dass in der KI-Branche 27 Milliardäre entstanden sind, was ein Viertel der Gesamtzahl der Liste ausmacht. Das Durchschnittsalter beträgt nur 32 Jahre, und das Gesamtvermögen beträgt fast 700 Milliarden Yuan.

Nachdem sie die Welle der Veränderungen erlebt haben, haben mehrere Investoren gesagt, dass die jungen KI-Unternehmer, die in den letzten zwei oder drei Jahren aufgetaucht sind, in Bezug auf Blickwinkel, Perspektive und Belastbarkeit eine Reife gezeigt haben, die über ihr Alter hinausgeht. Fast alle Investoren sagen, dass sie keine Firma investieren würden, wenn kein 00er-Mitbegründer im Team ist.

Warum müssen es junge Leute sein? Fu Jixun, der Managing Partner von GGV Capital, hat die Logik dahinter erklärt: "Jede Epoche hat ihre eigenen Innovatoren, und es sind normalerweise junge Leute, die zuerst herauskommen, weil sie keine Lasten haben." Jede Epoche hat ihre eigenen Innovationen, und jede Epoche hat auch ihre eigenen Trägheiten und Lasten. In gewissem Sinne ist die KI heute die Chance für die Generation der 95er und 00er.

An der Schwelle der technologischen Umgestaltung der Welt ist es manchmal am besten, keine Lasten zu haben.

Dieser Artikel stammt aus dem WeChat-Account "Investmentbranche" (ID: pedaily2012), Autor: Wang Lu, veröffentlicht von 36Kr mit Genehmigung.