MITテクノロジーレビュー

AIの力をすべての数学者に解き放つ、スパコン不要の無料ツールが登場

数万台のマシンで3週間かけた数学問題を、1台のMacが2時間30分で解く——そんなAIツール「Axplorer」が無料公開された。開発したアクシオム・マスは、強力な数学AIをスパコンなしで誰もが使えるようにすることを目指す。