ナレッジセンス、AI研究で数学の成果56本をGitHub公開

ナレッジセンスは、AIを活用して取り組んだ数学の未解決問題に関する成果56本を公開しました。
成果はプレプリントとして、証明や補助資料とともにGitHubで公開しています。
同社はAIによる研究を進めるハーネスを構築し、1週間で56本の成果をまとめました。

記事の概要

ナレッジセンスが公開した成果には、2001年に提起された幾何学の「Barker–Larman問題」に関する研究が含まれています。
Barker–Larman問題は、図形の内側に置いた球に接する位置で切った断面の体積から、元の形を一意に特定できるかを問う問題です。
同社の研究では、あらゆる向きで断面の体積が一致する、形の異なる二つの図形を構成しました。
この構成により、4次元以上のすべての次元でBarker–Larman問題への反例を示したとしています。
今回の研究では、AIによる研究を進めるためのハーネスとしてAuto Researchシステムを構築しました。
ハーネスは、先行研究や証明の妥当性を検討しながら研究を進める仕組みです。
研究成果はGitHubで公開されており、使用したハーネスも今後公開する予定です。

記事のポイント

1. 56本の成果を公開： 数学の未解決問題に関する研究成果56本を、証明や補助資料とともにプレプリントとして公開しています。
2. 反例を構成した研究： Barker–Larman問題について、4次元以上のすべての次元で反例となる異なる二つの図形を構成しました。
3. AI研究ハーネスを構築： 先行研究や証明の妥当性を検討しながら研究を進めるAuto Researchシステムを構築しました。

このニュースがもたらす影響

• 導入検討企業： 研究テーマの探索から先行研究の確認、証明の検証までを連続して扱えるかを評価し、自社の研究開発に導入する際の検証単位や成果公開の範囲を考える材料になりそうです。
• 数学研究者： 短期間に多数の成果を生む一方、AIが導いた証明を人がどう確認するかが重要になります。研究者は、公開資料を基に再現性と妥当性を見極める必要がありそうです。
• AI研究基盤企業： 数学での成果とハーネスの公開予定が、AIに研究工程を担わせる設計の比較材料になります。今後は、成果数だけでなく検証プロセスの共有も問われそうです。

このニュースの背景

ナレッジセンスは、AIによる研究を進めるため、先行研究や証明の妥当性を検討するAuto Researchシステムを構築しました。
この仕組みを使い、数学の未解決問題に関する成果56本を1週間でまとめ、証明や補助資料とともにプレプリントとして公開しています。
公開成果には、Barker–Larman問題について4次元以上のすべての次元で反例を示した研究が含まれています。

関連するニュース

• Open Reach Techが、仕様書から検収までをAIで進めるHora KitをOSS公開しました。
• NTTテクノクロスが、熟練PMの知見で開発案件のリスクをAI分析するPromanAIdeを提供します。
• アスエネは東大研究室と、ESG情報と株価・企業価値の関係をAIで分析しました。

詳しい記事の内容はこちらから（引用元）

プレスリリース・ニュースリリース配信シェアNo.1｜PR TIMES

ナレッジセンス、未解決問題に関する数学的成果56本を公開

株式会社ナレッジセンスのプレスリリース（2026年10月15日 10時12分）ナレッジセンス、未解決問題に関する数学的成…