AIの力をすべての数学者に解き放つ、スパコン不要の無料ツールが登場

数万台のマシンで3週間かけた数学問題を、1台のMacが2時間30分で解く——そんなAIツール「Axplorer」が無料公開された。開発したアクシオム・マスは、強力な数学AIをスパコンなしで誰もが使えるようにすることを目指す。 by Will Douglas Heaven2026.03.31

この記事の3つのポイント

アクシオム・マスが数学者向けの無料AIツール「Axplorer」をリリースし、長年未解決の数学問題解決を支援する
従来スーパーコンピューターが必要だったPatternBoostの機能をMac Proで実現し、数学者のアクセス障壁を大幅に削減した
LLMとは異なり新しいパターン発見に特化し、数学の全く新しい分野を開く可能性を持つが万能薬ではないとの指摘もある

summarized by Claude 3

米カリフォルニア州パロアルトを拠点とするスタートアップのアクシオム・マス（Axiom Math）は、数学者向けの無料の新しいAIツールをリリースした。長年の問題を解決する可能性のある数学的パターンを発見するために設計されたツールだ。

「Axplorer（アクスプローラー）」という名前のこのツールは、現在アクシオムの研究科学者であるフランソワ・シャルトンが、メタ（Meta）在籍時の2024年に共同開発した「PatternBoost（パターンブースト）」という既存ツールの再設計版である。PatternBoostはスーパーコンピューターで動作していたが、AxplorerはMac Pro上で動作する。

その目的は、自分のコンピューターにAxplorerをインストールすることで、トゥラーンの4サイクル問題として知られる難解な数学パズルを解くのに使用された、PatternBoostの力を誰もが使えるようにすることである。

2025年に米国防高等研究計画局（DARPA）は、数学者にAIツールの開発と使用を奨励するため、「エクスプマス（expMath：Exponentiating Mathematics）」と呼ばれる新しい取り組みを立ち上げた。アクシオムは自社をその推進力の一部と位置づけている。

数学における画期的発見は、テクノロジー全体に巨大な波及効果をもたらすとシャルトンは述べる。特に、次世代人工知能（AI）の構築からインターネット・セキュリティの向上まで、コンピューターサイエンスの進歩には新しい数学が不可欠である。

AIツールによる成功の大部分は、既存の問題に対する解決策を見つけることに関わってきた。しかし、解決策を見つけることが数学者の仕事のすべてではないと、アクシオムの創業者兼CEOのカリーナ・ホンは述べる。数学は探索的で実験的なものだとホンCEOは言う。

MITテクノロジーレビューは先日、シャルトンとホンCEOにオンライン取材を実施し、彼らの新しいツールと、AI全般が数学を変える可能性について話した。

チャットボットによる数学

ここ数カ月で、多くの数学者がオープンAI（OpenAI）のGPT-5などの大規模言語モデル（LLM）を使用して未解決問題の解決策を見つけており、特に20世紀の数学者ポール・エルデシュが死去時に残した数百のパズルに取り組んでいる。

しかし、シャルトンはそれらの成功は大したことがないと思っており、「誰も見ていないために未解決のままの問題は山ほどあります。解ける宝石をいくつか見つけるのは簡単です」と言う。彼はより困難な挑戦に照準を合わせている。 …

こちらは会員限定の記事です。 メールアドレスの登録で続きを読めます。

有料会員にはメリットがいっぱい！

毎月120本以上更新されるオリジナル記事で、人工知能から遺伝子療法まで、先端テクノロジーの最新動向がわかる。
オリジナル記事をテーマ別に再構成したPDFファイル「eムック」を毎月配信。
重要テーマが押さえられる。
各分野のキーパーソンを招いたトークイベント、関連セミナーに優待価格でご招待。

【春割】実施中！年間購読料20%オフ！

人気の記事ランキング