AIの導入・活用事例
ナレッジセンス、AIの研究ハーネスで数学の未解決問題に関する成果56本をプレプリントで公開
ナレッジセンスは、AIを使って取り組んだ数学の未解決問題に関する研究成果56本をGitHubで公開した。先行研究や証明の妥当性を検討する研究用のハーネスを構築し、1週間で56本をまとめたという。論文はプレプリントとして、証明や補助資料とともに公開した。同社は、2001年に提起された幾何学の「Barker–Larman問題」に4次元以上の全次元で反例を示したと説明した。
AI失業と、仕事のこれから。
AIの導入・活用事例
ナレッジセンスは、AIを使って取り組んだ数学の未解決問題に関する研究成果56本をGitHubで公開した。先行研究や証明の妥当性を検討する研究用のハーネスを構築し、1週間で56本をまとめたという。論文はプレプリントとして、証明や補助資料とともに公開した。同社は、2001年に提起された幾何学の「Barker–Larman問題」に4次元以上の全次元で反例を示したと説明した。