投資界は最新の資金調達情報を入手しました——洪樂潼（ホン・ルタオ）が創立したAIスタートアップ企業Axiomは、2億ドルのシリーズAラウンド資金調達を完了したと発表しました。リードインベスターはMenlo Ventures、Greycroft、Madrona Venture、B Capital、Toyota Venturesなどの既存株主も引き続き出資を増やしています。これにより、同社の評価額は16億ドル（約110億円）に達しました。洪樂潼は今年25歳、広州出身で、華南師範大学附属中学に在学中に数学オリンピックで数多くの賞を受賞。その後、MIT、オックスフォード大学を経て、スタンフォード大学で博士号を取得し、起業の道に進みました。投資界は洪樂潼と非公開で交流したことがあります。当時、Axiomはまだ水面下の段階でした。彼女がAxiom設立中にSNSに書いた自己激励の言葉を覚えています：「花も木も作りたい。色とりどりの情熱と孤高の立ち位置を持って。」**画像出典**：マサチューセッツ工科大学個人の選択を超え、より顕著な時代の側面が浮かび上がっています。00年代生まれの創業者たちがAIの舞台に次々と登場しています。**わずか成立一年で評価額110億ドル****資金調達は14億ドルに達したばかり**物語の始まりはカフェでの交流からでした。2024年の深秋の週末、23歳の洪樂潼はスタンフォード近くのカフェで、当時Meta AI研究ディレクターだったShubho Senguptaと会いました。数時間にわたる会話の中で、二人は研究分野の交差点や、AIが解決できるかもしれない最も難しい数学問題について議論しました。やがて洪樂潼は静かで決断力のある決断を下します：スタンフォードを中退し、Axiomを創立することを。天才少女の物語は常に輝きを伴います。やがて、洪樂潼の名前は投資界でひそかに、しかし迅速に広まりました。その節目に、彼女は外部に向けて、風口や破壊についてほとんど語らず、問題そのものへの好奇心と技術の可能性に対する明確な判断を示していました。現在、Axiomは2億ドルのシリーズA資金調達を完了し、設立からわずか一年でユニコーン企業の仲間入りを果たしました。また、わずか5ヶ月前にはシードラウンドも完了しています。当時、このスタートアップは外部に対して、数学こそがAI推論能力の構築において正しい基盤であるという堅い信念を示していました。昨年12月、Axiomのコアシステムは、「本科生数学オリンピック」と称されるプットナム・コンペティションで満点を獲得しました。これは過去約百年でわずか5人だけが達成した偉業です。その後、このシステムは複数の未解決の数論の仮説も自律的に証明しています。数学の問題解決は氷山の一角に過ぎません。Axiomはこの「絶対正確な」数学推論能力を、転移学習を通じてコード検証の分野に導入し、生成AIのさまざまな課題解決を目指しています。現在、AI業界は非常に鋭い矛盾に直面しています：巨大モデルの能力は急激に向上している一方で、その信頼性は依然としてブラックボックスです。日常の応用では「デタラメ」も大きな問題ではありませんが、金融、防衛、重要インフラなどの分野では、確率に基づく誤りが災害を引き起こす可能性があります。「我々はほぼすべてのソフトウェアを記述できる人工知能の世界に足を踏み入れつつありますが、その裏にはほとんど誰も触れない問題があります：すべてのコードが検証されていないことです。これは巨大なリスクです」とMenlo Venturesのパートナー、Matt Kraningは語ります。人工知能はすべてのコードを書き出すでしょうが、数学がそれが正しいかどうかを検証します。Axiomの答えは、検証可能なAI（Verified AI）です。簡単に言えば、その核心的な強みは形式的検証にあります。Leanプログラミング言語を用いて、数学的証明を実行可能なプログラムに変換し、結果の正確性を根本から保証します。ここで、大規模モデルは確率に基づいて「推測」するのではなく、コードを厳密な数学的論理に変換し、結果を証明します。各推論のステップは、決定性検証器による検査を通過しなければなりません。「科学的突破は通常、二段階です：仮説を立て、それを証明で検証する。私たちがAxiomを創立したのは、好奇心を真理に変換する時間を無限に圧縮するためです」と洪樂潼は語ります。AIの自己進化はすぐそこにあります。Axiomの究極の使命について、彼女は次のような力強い言葉を残しました。「Verified AIが注目するのは、AIの欠点を修正することだけではありません。本当に狙うのは、AIの上限、超知能への階段です。」**00年代生まれの女性天才リーダー****出身地：広州**Axiomの物語は、常に前進し続ける洪樂潼なしには語れません。2001年、洪樂潼は広州で生まれ、両親は潮汕出身です。幼少期から非凡な数学の才能を発揮し、中学時代は華南師範大学附属中学に在籍。高校時代、数学オリンピックの省代表チームの唯一の女子4人の一人として、華羅庚金杯や全国高校数学大会などで好成績を収めました。2019年、彼女はMITに入学し、数学と物理の二重学位を取得。3年後、オックスフォード大学のロッド奨学金を獲得し、中国人としてはわずか4人の受賞者の一人となりました。ロッド奨学金は、世界最古かつ最も名高い国際奨学金プログラムの一つで、「学部版ノーベル賞」とも称されます。その後、彼女は英国のオックスフォード大学で修士号を取得。ロンドン大学アポロニア校でAIと機械学習の研究も行い、「AIと科学者の未来の相互作用はどうなるのか？それが私の次の研究テーマです」と語っています。2024年8月、洪樂潼はスタンフォード大学で数学博士と法学博士の二重課程に進学。「私はずっと研究者であり続けたい」と、以前のインタビューで述べており、心の奥底では本当に難しい技術的課題を解決したいと願っていました。やがて、博士課程在籍中にAI界に飛び込みました。DeepSeekが世界的に話題になった際、彼女は次のように語っています：「小さくて専門的、独自のチーム。理想主義者の優れたパートナーたち。彼らは実行力が高く、自ら手を動かす。最も貴重なのは、その理想と使命感が交錯する信念です。これがDeepSeekの物語であり、私が自ら書きたい物語です。」現在、Axiomは「夢のチーム」と呼ばれるコアメンバーを結成しています。CTOのShubho SenguptaはMeta AI研究ディレクターを務め、Googleの分散訓練システムの研究に関わり、CUDA技術の初期開発者の一人でもあります。コアサイエンティストのFrançois Chartonは、Transformerモデルを数学分野に導入した先駆者であり、巨大モデルを用いて30年未解決だった学術的仮説を覆した実績もあります。最も衝撃的なのは、創立数学者のKen Onoの参加です。彼は、グッゲンハイム賞やスローン賞など数々のトップ賞を受賞した数学界の権威であり、米国数学会の元副会長。彼はヴァージニア大学の終身教授職を辞し、Axiomにフルタイムで参加しました。語り草になっている逸話は、Onoが40年にわたり教鞭をとる中で、10人のモルガン賞受賞者を指導したことです。洪樂潼もその一人です。「彼女は深い数学的基礎、驚異的な運営効率、そして世界トップクラスの人材を惹きつける能力を兼ね備えています」と投資家は感嘆します。「これは私の過去20年のシリコンバレー経験の中で最も印象的な創業者の一人です。」現在、Axiomは30人以上の社員を擁し、採用ペースも加速しています。彼女の物語は、まだ始まったばかりです。**AI時代****00年代生まれの集団登場**AIブームは、すでに00年代生まれの舞台となっています。先週、設立からわずか1年余りの企業Lingchuang Intelligenceは、天使ラウンドとPre-Aラウンドを合わせて20億元の資金調達を完了したと発表しました。投資者の顔ぶれも豪華です。共同創業者の陳源培は2001年生まれで、北京大学とスタンフォード大学で学び、李飛飛の指導を受けました。また、Youliqiの創業者の楊豊瑜も00年代生まれです。彼女はイェール大学で博士号を取得し、ミシガン大学のコンピュータサイエンスを学士号で修了、DeepMindで勤務経験もあります。先週、同社は約3億元の新たな資金調達も完了しています。このリストはまだ続きます。4人の00年代創業のAIプログラミング企業Anysphereは評価額約290億ドルに達し、19歳の華人女性Serena Geが創業したAIデータ企業Datacurveは1億ドル超の資金調達を実現。AIスタートアップのMercorの3人の22歳共同創業者は、世界最年少の自力で富を築いた富豪となっています。より直接的なインパクトは富豪ランキングです。AIは最も若い世代のレースとなっています。『2026胡潤U40グローバル自力起業富豪榜』によると、AI分野だけで27人の10億ドル企業家が誕生し、ランキング全体の4分の1を占め、平均年齢はわずか32歳、総資産は約7000億元にのぼります。この波の高まりを目の当たりにした投資家の中には、「この2、3年で出現した若いAI起業家たちは、視野や構え、打開力において、年齢を超えた成熟を見せている。彼らはこれまで見た中で最も優秀なグループだ」と語る者もいます。ある投資家は、「もしチームに00年代のコアパートナーがいなければ、投資しなかったかもしれない」とも。なぜ若者でなければならないのか？紀源キャピタルの管理パートナー符績勲は、その理由を次のように解説します：「各時代のイノベーションは、若者が最初に走り出すことが多い。彼らには荷物がないからです。」時代ごとにイノベーションの流れがあり、時には慣性や負担も生まれます。ある意味、今のAIは95後、00後のチャンスです。技術が世界を再構築する前夜、荷物のない状態こそ最良の荷物です。
初公開|25歳の洪乐潼がチームを率い、Axiomがわずか14億ドルの資金調達を完了
投資界は最新の資金調達情報を入手しました——
洪樂潼（ホン・ルタオ）が創立したAIスタートアップ企業Axiomは、2億ドルのシリーズAラウンド資金調達を完了したと発表しました。リードインベスターはMenlo Ventures、Greycroft、Madrona Venture、B Capital、Toyota Venturesなどの既存株主も引き続き出資を増やしています。これにより、同社の評価額は16億ドル（約110億円）に達しました。
洪樂潼は今年25歳、広州出身で、華南師範大学附属中学に在学中に数学オリンピックで数多くの賞を受賞。その後、MIT、オックスフォード大学を経て、スタンフォード大学で博士号を取得し、起業の道に進みました。
投資界は洪樂潼と非公開で交流したことがあります。当時、Axiomはまだ水面下の段階でした。彼女がAxiom設立中にSNSに書いた自己激励の言葉を覚えています：「花も木も作りたい。色とりどりの情熱と孤高の立ち位置を持って。」
画像出典：マサチューセッツ工科大学
個人の選択を超え、より顕著な時代の側面が浮かび上がっています。00年代生まれの創業者たちがAIの舞台に次々と登場しています。
わずか成立一年で評価額110億ドル
資金調達は14億ドルに達したばかり
物語の始まりはカフェでの交流からでした。
2024年の深秋の週末、23歳の洪樂潼はスタンフォード近くのカフェで、当時Meta AI研究ディレクターだったShubho Senguptaと会いました。
数時間にわたる会話の中で、二人は研究分野の交差点や、AIが解決できるかもしれない最も難しい数学問題について議論しました。やがて洪樂潼は静かで決断力のある決断を下します：スタンフォードを中退し、Axiomを創立することを。
天才少女の物語は常に輝きを伴います。やがて、洪樂潼の名前は投資界でひそかに、しかし迅速に広まりました。その節目に、彼女は外部に向けて、風口や破壊についてほとんど語らず、問題そのものへの好奇心と技術の可能性に対する明確な判断を示していました。
現在、Axiomは2億ドルのシリーズA資金調達を完了し、設立からわずか一年でユニコーン企業の仲間入りを果たしました。
また、わずか5ヶ月前にはシードラウンドも完了しています。当時、このスタートアップは外部に対して、数学こそがAI推論能力の構築において正しい基盤であるという堅い信念を示していました。
昨年12月、Axiomのコアシステムは、「本科生数学オリンピック」と称されるプットナム・コンペティションで満点を獲得しました。これは過去約百年でわずか5人だけが達成した偉業です。その後、このシステムは複数の未解決の数論の仮説も自律的に証明しています。
数学の問題解決は氷山の一角に過ぎません。Axiomはこの「絶対正確な」数学推論能力を、転移学習を通じてコード検証の分野に導入し、生成AIのさまざまな課題解決を目指しています。
現在、AI業界は非常に鋭い矛盾に直面しています：巨大モデルの能力は急激に向上している一方で、その信頼性は依然としてブラックボックスです。日常の応用では「デタラメ」も大きな問題ではありませんが、金融、防衛、重要インフラなどの分野では、確率に基づく誤りが災害を引き起こす可能性があります。
「我々はほぼすべてのソフトウェアを記述できる人工知能の世界に足を踏み入れつつありますが、その裏にはほとんど誰も触れない問題があります：すべてのコードが検証されていないことです。これは巨大なリスクです」とMenlo Venturesのパートナー、Matt Kraningは語ります。人工知能はすべてのコードを書き出すでしょうが、数学がそれが正しいかどうかを検証します。
Axiomの答えは、検証可能なAI（Verified AI）です。
簡単に言えば、その核心的な強みは形式的検証にあります。Leanプログラミング言語を用いて、数学的証明を実行可能なプログラムに変換し、結果の正確性を根本から保証します。ここで、大規模モデルは確率に基づいて「推測」するのではなく、コードを厳密な数学的論理に変換し、結果を証明します。各推論のステップは、決定性検証器による検査を通過しなければなりません。
「科学的突破は通常、二段階です：仮説を立て、それを証明で検証する。私たちがAxiomを創立したのは、好奇心を真理に変換する時間を無限に圧縮するためです」と洪樂潼は語ります。AIの自己進化はすぐそこにあります。Axiomの究極の使命について、彼女は次のような力強い言葉を残しました。
「Verified AIが注目するのは、AIの欠点を修正することだけではありません。本当に狙うのは、AIの上限、超知能への階段です。」
00年代生まれの女性天才リーダー
出身地：広州
Axiomの物語は、常に前進し続ける洪樂潼なしには語れません。
2001年、洪樂潼は広州で生まれ、両親は潮汕出身です。幼少期から非凡な数学の才能を発揮し、中学時代は華南師範大学附属中学に在籍。高校時代、数学オリンピックの省代表チームの唯一の女子4人の一人として、華羅庚金杯や全国高校数学大会などで好成績を収めました。
2019年、彼女はMITに入学し、数学と物理の二重学位を取得。3年後、オックスフォード大学のロッド奨学金を獲得し、中国人としてはわずか4人の受賞者の一人となりました。ロッド奨学金は、世界最古かつ最も名高い国際奨学金プログラムの一つで、「学部版ノーベル賞」とも称されます。
その後、彼女は英国のオックスフォード大学で修士号を取得。ロンドン大学アポロニア校でAIと機械学習の研究も行い、「AIと科学者の未来の相互作用はどうなるのか？それが私の次の研究テーマです」と語っています。
2024年8月、洪樂潼はスタンフォード大学で数学博士と法学博士の二重課程に進学。「私はずっと研究者であり続けたい」と、以前のインタビューで述べており、心の奥底では本当に難しい技術的課題を解決したいと願っていました。やがて、博士課程在籍中にAI界に飛び込みました。
DeepSeekが世界的に話題になった際、彼女は次のように語っています：「小さくて専門的、独自のチーム。理想主義者の優れたパートナーたち。彼らは実行力が高く、自ら手を動かす。最も貴重なのは、その理想と使命感が交錯する信念です。これがDeepSeekの物語であり、私が自ら書きたい物語です。」
現在、Axiomは「夢のチーム」と呼ばれるコアメンバーを結成しています。
CTOのShubho SenguptaはMeta AI研究ディレクターを務め、Googleの分散訓練システムの研究に関わり、CUDA技術の初期開発者の一人でもあります。
コアサイエンティストのFrançois Chartonは、Transformerモデルを数学分野に導入した先駆者であり、巨大モデルを用いて30年未解決だった学術的仮説を覆した実績もあります。
最も衝撃的なのは、創立数学者のKen Onoの参加です。彼は、グッゲンハイム賞やスローン賞など数々のトップ賞を受賞した数学界の権威であり、米国数学会の元副会長。彼はヴァージニア大学の終身教授職を辞し、Axiomにフルタイムで参加しました。
語り草になっている逸話は、Onoが40年にわたり教鞭をとる中で、10人のモルガン賞受賞者を指導したことです。洪樂潼もその一人です。
「彼女は深い数学的基礎、驚異的な運営効率、そして世界トップクラスの人材を惹きつける能力を兼ね備えています」と投資家は感嘆します。「これは私の過去20年のシリコンバレー経験の中で最も印象的な創業者の一人です。」
現在、Axiomは30人以上の社員を擁し、採用ペースも加速しています。彼女の物語は、まだ始まったばかりです。
AI時代
00年代生まれの集団登場
AIブームは、すでに00年代生まれの舞台となっています。
先週、設立からわずか1年余りの企業Lingchuang Intelligenceは、天使ラウンドとPre-Aラウンドを合わせて20億元の資金調達を完了したと発表しました。投資者の顔ぶれも豪華です。共同創業者の陳源培は2001年生まれで、北京大学とスタンフォード大学で学び、李飛飛の指導を受けました。
また、Youliqiの創業者の楊豊瑜も00年代生まれです。彼女はイェール大学で博士号を取得し、ミシガン大学のコンピュータサイエンスを学士号で修了、DeepMindで勤務経験もあります。先週、同社は約3億元の新たな資金調達も完了しています。
このリストはまだ続きます。4人の00年代創業のAIプログラミング企業Anysphereは評価額約290億ドルに達し、19歳の華人女性Serena Geが創業したAIデータ企業Datacurveは1億ドル超の資金調達を実現。AIスタートアップのMercorの3人の22歳共同創業者は、世界最年少の自力で富を築いた富豪となっています。
より直接的なインパクトは富豪ランキングです。AIは最も若い世代のレースとなっています。『2026胡潤U40グローバル自力起業富豪榜』によると、AI分野だけで27人の10億ドル企業家が誕生し、ランキング全体の4分の1を占め、平均年齢はわずか32歳、総資産は約7000億元にのぼります。
この波の高まりを目の当たりにした投資家の中には、「この2、3年で出現した若いAI起業家たちは、視野や構え、打開力において、年齢を超えた成熟を見せている。彼らはこれまで見た中で最も優秀なグループだ」と語る者もいます。ある投資家は、「もしチームに00年代のコアパートナーがいなければ、投資しなかったかもしれない」とも。
なぜ若者でなければならないのか？紀源キャピタルの管理パートナー符績勲は、その理由を次のように解説します：「各時代のイノベーションは、若者が最初に走り出すことが多い。彼らには荷物がないからです。」時代ごとにイノベーションの流れがあり、時には慣性や負担も生まれます。ある意味、今のAIは95後、00後のチャンスです。
技術が世界を再構築する前夜、荷物のない状態こそ最良の荷物です。