株式会社ナレッジセンス（本社：東京都港区、代表取締役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のデスクトップ機能で対応予定(詳細はこちら)

https://chatsense.jp/