#研究

AIが画像や文章だけでなく、純粋数学の研究にも踏み込もうとしている。そんな流れを、そのままイベント化したのが Caltech Mathathon だ。元記事は、数学の未解決問題をAIと人間のチームで解く40時間のハッカソンを告知しているだけではない。AIが証明や理論構築をどこまで速くできるのか、そして人間の数学者の役割は何になるのか、というかなり大きな問いを前面に出している。研究競争の話でありながら、同時に「数学研究の作法そのものが変わるかもしれない」という宣言でもある。 元記事によると、Caltech Mathathon はカリフォルニア工科大学で開かれるイベントで、開催日は October 30th から November 1st。参加するのは世界中から集められる100チームで、与えられるのは frontier models と呼ばれる最先端のAIモデルだ。挑む対象は open conjectures、つまりまだ解かれていない数学の予想や問題で、単に答えを出すだけでなく、新しい数学理論を組み立てることも求められる。 このイベントが面白いのは、解けたかどうかだけで終わらない設計になっ