人工知能分野は若い起業家の台頭を迎えている。その中で、中国・広州出身の「00後」起業家洪樂潼は、彼女が設立したAI企業Axiom（axiommath.ai）が2億ドルのAラウンド資金調達を完了し、世界のテック界の注目を集めている。本ラウンドは著名なベンチャーキャピタルのMenlo Venturesがリードし、既存の株主も全て追随、資金調達後の企業評価額は16億ドルに達し、正式にユニコーン企業の仲間入りを果たした。洪樂潼の学歴は伝説的だ。2001年に広州で生まれたこの起業家は、両親とも普通の労働者ながら、卓越した数学の才能により高校時代に頭角を現した。彼女は高校1年生で広東省の中学生英才計画に選ばれ、中山大学の王学欽教授に師事し、全国中学生数学オリンピックの広東選抜大会では唯一の女子4人の一人となった。2018年、17歳でマサチューセッツ工科大学（MIT）に入学し、数学と物理の二重専攻をわずか3年で修了。期間中に数論や組合せ論など基礎数学分野の学術論文9本を発表し、その中には数学証明の自動化に関する研究も含まれる。MIT在学中、洪樂潼の成果は学術だけにとどまらない。彼女は全米女性数学者最高賞のアリス・T・シャーファー数学賞を受賞し、2021年には中国人として唯一のロドス奨学生の一人となり、オックスフォード大学で神経科学を学んだ。その後、数学、物理、神経科学にまたがる学術的軌跡を歩み、スタンフォード大学で数学と法学のダブル博士課程を開始した後、最終的に退学して起業の道を選んだ。以前には、北米の数学学士研究の優秀さを表彰するAMS-MAA-SIAMモーガン賞を受賞し、2025年12月には「フォーブス30歳未満30人」に選出された。Axiomの創立は、洪樂潼がAI業界の課題を深く洞察したことに由来する。現在、大規模モデルは急速に能力を向上させているが、信頼性の問題は未解決のままだ。特に金融や国防などの重要分野では、確率に基づく誤りが深刻な結果を招く可能性がある。この矛盾に対し、Axiomは「数学をサービスとして提供する」モデルを提案し、AIに厳密な論理推論を習得させ、数学者のように証明を構築・検証できるようにしている。同社の最初の製品であるAxiomProverシステムは、驚くべき潜在能力を示している。昨年12月、検証可能なLean言語を用いて、無人の状態でエルデシュ問題集の第124問と第481問の形式証明をそれぞれ1日と5時間で完了した。この成果は非常に意義深い。エルデシュ問題集は1109の組合せ数学と数論の難問を含み、これまでに証明されたのは266問のみで、そのうち計算機で検証可能な形式化バージョンに変換されたのはわずか10問だ。Axiomのビジネスモデルは高級顧客に焦点を当てており、ターゲットユーザーはヘッジファンドやクオンツトレーダーなどの金融機関だ。同社は、その技術が金融企業に対して効率的なクオンツソリューションを提供し、複雑な数学証明の課題を解決できると主張している。この戦略は、洪樂潼の学術的背景と高い親和性を持つ。彼女はスタンフォード大学在学中に、ChatGPTなどのモデルが数学的推論において欠陥を抱えていることを指摘し、現在のAIには厳密な論理訓練体系が不足していると強調した。洪樂潼は唯一の「00後」だけではない。最近、設立からわずか1年余りの別の企業、灵初智能が天使ラウンドとPre-Aラウンド合わせて20億元の資金調達を完了したことを発表した。投資者には国家級資本の国开金融や国中资本、上海国資の徐匯资本などが含まれる。共同創業者の陳源培も2001年生まれで、北京大学とスタンフォード大学で学び、AI分野の著名な学者李飛飛に師事した。イェール大学の博士号を持つ楊豊瑜は2024年に帰国し、具身知能企業の优理奇を設立、数億元の天使ラウンドを調達した。さらに、3人の「00後」が創設したAI採用サイトMercorも2025年に1億ドルのBラウンド資金調達を完了し、企業評価額は20億ドルに達している。これらの若い起業家の台頭は、AI分野が「Z世代」主導の新たな段階に入ったことを示している。彼らの背景は学術、産業、資本にまたがり、技術路線は基礎研究から応用展開まで多岐にわたる。彼らは共に、より信頼性が高く効率的な業界の進展を促している。
広東出身の「00年代生まれ」学霸洪乐潼：17歳でMITに入学、スタンフォード大学を退学して起業、AI企業が2億ドルの資金調達を達成しユニコーン企業に仲間入り
人工知能分野は若い起業家の台頭を迎えている。その中で、中国・広州出身の「00後」起業家洪樂潼は、彼女が設立したAI企業Axiom（axiommath.ai）が2億ドルのAラウンド資金調達を完了し、世界のテック界の注目を集めている。本ラウンドは著名なベンチャーキャピタルのMenlo Venturesがリードし、既存の株主も全て追随、資金調達後の企業評価額は16億ドルに達し、正式にユニコーン企業の仲間入りを果たした。
洪樂潼の学歴は伝説的だ。2001年に広州で生まれたこの起業家は、両親とも普通の労働者ながら、卓越した数学の才能により高校時代に頭角を現した。彼女は高校1年生で広東省の中学生英才計画に選ばれ、中山大学の王学欽教授に師事し、全国中学生数学オリンピックの広東選抜大会では唯一の女子4人の一人となった。2018年、17歳でマサチューセッツ工科大学（MIT）に入学し、数学と物理の二重専攻をわずか3年で修了。期間中に数論や組合せ論など基礎数学分野の学術論文9本を発表し、その中には数学証明の自動化に関する研究も含まれる。
MIT在学中、洪樂潼の成果は学術だけにとどまらない。彼女は全米女性数学者最高賞のアリス・T・シャーファー数学賞を受賞し、2021年には中国人として唯一のロドス奨学生の一人となり、オックスフォード大学で神経科学を学んだ。その後、数学、物理、神経科学にまたがる学術的軌跡を歩み、スタンフォード大学で数学と法学のダブル博士課程を開始した後、最終的に退学して起業の道を選んだ。以前には、北米の数学学士研究の優秀さを表彰するAMS-MAA-SIAMモーガン賞を受賞し、2025年12月には「フォーブス30歳未満30人」に選出された。
Axiomの創立は、洪樂潼がAI業界の課題を深く洞察したことに由来する。現在、大規模モデルは急速に能力を向上させているが、信頼性の問題は未解決のままだ。特に金融や国防などの重要分野では、確率に基づく誤りが深刻な結果を招く可能性がある。この矛盾に対し、Axiomは「数学をサービスとして提供する」モデルを提案し、AIに厳密な論理推論を習得させ、数学者のように証明を構築・検証できるようにしている。同社の最初の製品であるAxiomProverシステムは、驚くべき潜在能力を示している。昨年12月、検証可能なLean言語を用いて、無人の状態でエルデシュ問題集の第124問と第481問の形式証明をそれぞれ1日と5時間で完了した。この成果は非常に意義深い。エルデシュ問題集は1109の組合せ数学と数論の難問を含み、これまでに証明されたのは266問のみで、そのうち計算機で検証可能な形式化バージョンに変換されたのはわずか10問だ。
Axiomのビジネスモデルは高級顧客に焦点を当てており、ターゲットユーザーはヘッジファンドやクオンツトレーダーなどの金融機関だ。同社は、その技術が金融企業に対して効率的なクオンツソリューションを提供し、複雑な数学証明の課題を解決できると主張している。この戦略は、洪樂潼の学術的背景と高い親和性を持つ。彼女はスタンフォード大学在学中に、ChatGPTなどのモデルが数学的推論において欠陥を抱えていることを指摘し、現在のAIには厳密な論理訓練体系が不足していると強調した。
洪樂潼は唯一の「00後」だけではない。最近、設立からわずか1年余りの別の企業、灵初智能が天使ラウンドとPre-Aラウンド合わせて20億元の資金調達を完了したことを発表した。投資者には国家級資本の国开金融や国中资本、上海国資の徐匯资本などが含まれる。共同創業者の陳源培も2001年生まれで、北京大学とスタンフォード大学で学び、AI分野の著名な学者李飛飛に師事した。イェール大学の博士号を持つ楊豊瑜は2024年に帰国し、具身知能企業の优理奇を設立、数億元の天使ラウンドを調達した。さらに、3人の「00後」が創設したAI採用サイトMercorも2025年に1億ドルのBラウンド資金調達を完了し、企業評価額は20億ドルに達している。
これらの若い起業家の台頭は、AI分野が「Z世代」主導の新たな段階に入ったことを示している。彼らの背景は学術、産業、資本にまたがり、技術路線は基礎研究から応用展開まで多岐にわたる。彼らは共に、より信頼性が高く効率的な業界の進展を促している。