ナレッジセンス、未解決問題に関する数学的成果56本を公開
AIによる研究ハーネスを構築し、1週間で56本の成果をプレプリントとして公開
株式会社ナレッジセンス（本社：東京都港区、代表取締役CEO：門脇 敦司）は、AIを活用して取り組んだ、数学の未解決問題に関する研究成果56本をGitHubで公開しました。
本取り組みでは、AIによる研究を進めるためのハーネス（Auto Research システム）を構築しました。先行研究や証明の妥当性を検討しながら、1週間で56本の成果をまとめました。論文はプレプリントとして、証明や補助資料とともに公開しています。
■ 研究成果
https://github.com/KnowledgeSense/math
公開した成果には、2001年に提起された幾何学の「Barker–Larman問題」に対し、4次元以上のすべての次元で反例を示したという、大きな研究成果が含まれます。この問題は、図形の内側に置いた球に接する位置で切った断面の体積から、元の形を一意に特定できるかを問うものです。本研究では、あらゆる向きでその断面の体積が一致する、形の異なる二つの図形を構成し、この問題に対する反例を示しました。
研究に使用したハーネスも、今後公開する予定です。ナレッジセンスは、AIを活用した新たな挑戦を通じて、その可能性と実用的な活用方法を探究してまいります。
関連：代表によるSNSでの発信（詳細はこちら）
■ 株式会社ナレッジセンスについて
会社名：株式会社ナレッジセンス
所在地：東京都港区六本木七丁目18番18号 住友不動産六本木通ビル2階
代表者：代表取締役CEO 門脇 敦司
URL：https://knowledgesense.jp/
■ ナレッジセンスの提供するAIエージェント・ハーネス製品
①スパゲッティコードをモダン化する国産AIエージェント「CodeSense」(詳細はこちら)
②PCの録画からマニュアルを自動作成。新サービス β版 募集開始(詳細はこちら)
③Web会議を、Botなしで文字起こし。ChatSenseのデスクトップ機能で対応予定(詳細はこちら)
すべての画像