Hexagon、LLM支援数学研究リポジトリ公開

数理科学および理論計算機科学分野を対象とした新たな学術リポジトリHexagonが2026年8月に開発・運用を開始した。大規模言語モデルの支援または生成により発見された数学的知見を長期保存可能な形で収集・公開することを目的とする。AI支援研究の増加に伴い、従来の出版プロセスや既存アーカイブでは扱いが困難な探索的成果をコミュニティ標準として扱える場を求める声から設立された。運営はデラウェア州に設立された非営利団体Hexagon Mathematics Foundationが担当し、免税法人資格の申請を進めている。初代エグゼクティブディレクターにBen Antieau氏が就任し、複数の大学教授を理事および顧問に迎え、arXivがAI支援成果の専用管理に前向きでない方針を示したため自律的なインフラ整備を決定した。HexagonはLLM生成の結果や人間理解を明言しない探索的結果の提出も許可。従来の投稿より障壁を低減し早期公開を重視する。形式検証は必須ではないが関連形式化プロジェクトへのリンク機能を提供し、将来の正統化に向けた基盤としている。システムはOpenAI Codexを用いて構築され汎用クラウドにホスティング中。現在ベータ版として運用され、APIを通じた読み取り・投稿アクセスが可能。投稿レートは審査経過に応じて調整され公平なアクセスを維持する。資金は現在創設者陣の自主資金で運営し営利企業との提携は行わないが持続可能な調達ルートを探っている。Antieau氏は本プラットフォームがAI時代の数学的知見の最初の共有場となり学界の標準参照先となることを期待。公開成果はhexagon:2609.00104などで確認可能で機能拡充が続けられている。