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

この記事は、2024年9月当時の状況を記事にしたものです。2025年5月に、最新の状況を踏まえ更新した記事を公開しました。 MathMLを表示できる主なブラウザとしては、最も古くから対応しているFirefox、Macで利用できるSafari、最近対応したChromeがあります。

DeepSeekが、数学的推論に特化したAIモデル「DeepSeek-Math-V2」を2025年11月27日に公開しました。このDeepSeek-Math-V2は定理証明と自己検証機能に重点を置いており、従来の数学AIモデルとは異なり、解答の正確性を追求するだけでなく、推論プロセスの厳密性と完全性 ...

learned in 4th grade math.