AIが数学の未解決問題を次々と解決できるようになる中、著名な数学者のテレンス・タオ氏がAI時代における数学研究の新たな方向性として、「Math 2.0」と題した公開講演をカリフォルニア工科大学で2026年10月9日に行い、その資料を翌10日に自身のブログで公開しました。タオ氏は従来の数学研究を「Math 1.0」と位置付け、AIによって数学の証明が大量に生み出される時代に向けて、研究の目的や評価基 ...

出典 Math 2.0 https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf ...

数学の文化祭「MATH EXPO ...

AIが難しい数学の問題を解く。 そんなニュースを目にすると、「数学者の仕事はどうなるのだろう」と考えたくなります。 しかし、もう一つ考えたいことがあります。 正しい答えが得られたとして、私たちは何を理解したことになるのでしょうか。

「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 サイトのトップページはこんな感じ。「完全に ...

オープンソース開発者コミュニティのPoimandresは9月25日、JavaScriptとTypeScriptから利用できる数学ライブラリ 「math」 のバージョン0. 1.0の公開を案内した。ベクトルや行列の演算に加え、図形の交差判定、アニメーション、ノイズ生成など、ゲームや ...

一部の情報は、リリース前に大きく変更される可能性があるプレリリースされた製品に関するものです。 Microsoft は、ここに記載されている情報について、明示または黙示を問わず、一切保証しません。 指定した数値以下の最大値を返します。 指定した 10 ...

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here ...