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

Pythonのウェブフレームワーク「Django」などの開発で知られるソフトウェアエンジニアのサイモン・ウィリソン氏が、ポッドキャストでAIによってどのように開発の現場が変わっているのかを語りました。 Highlights from my ...