数学はかつて芸術だった——AIが力任せにやってくるまでは
AIが数学の難問を総当たりで解くようになった今、数学が長年培ってきた美学と判断力の文化が岐路に立たされている。形式化検証という強みを持つ数学が、AIを「代替者」ではなく「加速器」として活かせるかが問われている。
形式化验证 に関するニュース
OpenAI、数学諮問グループを設立――AIがすでに100件超の未解決問題を解決と発表
OpenAIは2026年9月、数学諮問グループの設立を発表するとともに、AIシステムが研究過程で100件超の未解決の開放的数学問題を解いたと主張した。ただし、このグループには研究の方向性を遅延・変更させる権限は与えられておらず、「誰が監督す
Pramaana Labs、2700万ドルのシード資金調達——形式検証でAIの信頼性を守る
AIシステムの信頼性を数学的に保証するスタートアップPramaana Labsが、Khosla Venturesから2700万ドルのシードラウンド資金を調達した。同社は形式検証技術をAI開発・展開プロセスに導入し、法律・創薬・税務など高感度