数学– tag –

2026年10月9日、数学者テレンス・タオ（Terence Tao）がカリフォルニア工科大学（Caltech）で「Math 2.0」と題する公開講演を行いました。講演資料は翌10日、タオ本人のブログで公開されています。 タオが「Math 2.0」と呼んでいるのは、AIによって数学の...

2026年9月1日、OpenAIは約90年間未解決だったナビエ–ストークス方程式の問題に、大量のAIエージェントを投入しました。 エージェントが解答に到達したのは9月5日。最初のエージェントを動かしてから約88時間後です。その後、別のAIモデルを使って17時間か...

AIが、これまで人間には解けなかった数学の難問まで解けるようになる。 普通に考えれば、かなり良いニュースです。 何十年、何百年と解けなかった問題をAIが解いてくれるなら、人間はその答えを使ってさらに先へ進めます。 ところが数学者のテレンス・タオ...