人間に匹敵する幾何の定理証明を機械学習で実現！IMO金メダル級のAlphaGeometryが登場（2024-01）【論文解説シリーズ】

(4:33)

AIによる数学の自動定理証明が進化！データ生成と探索効率の革新で実現した HunyuanProverの仕組みは（2024-12）【論文解説シリーズ】

(12:27)

愛の道は平坦ではなく、むしろ大切なものほど困難と共にある #愛を哲学する #恋愛

(1:25)

数学オリンピック世界大会の幾何問題はAIにとって簡単です！！

(16)

OpenAI o3が競技プログラミングの金メダリストに?最新の強化学習が示す驚異の成果（2025-02）【論文解説シリーズ】

(13:36)

＃191　1995 IMO カナダ大会　問題２　3変数の不等式の証明【数検1級/準1級/中学数学/高校数学/数学教育】JJMO JMO IMO Math Olympiad Problems

(12:32)

プレスリリース解説 vol.6「機械学習手法により物理の難問「量子スピン液体」を解明」

(5:38)

＃206　JJMO予選レベルの問題　正方形の直角を証明【数検1級/準1級/中学数学/高校数学/数学教育】JJMO JMO IMO Math Olympiad Problems

(11:17)

数学偏差値80越え東大生の数学オリンピックの成績#Shorts

(11)

【東大卒社長に聞いてみた】数学オリンピックに出た理由

(19)

AIの学習進化を物理学で解明！3つのモデルが明かす驚きの仕組み（2025-01）【論文解説シリーズ】

(13:26)

小飼弾の論弾2025/2/18 「日本の経常黒字が意味することは？AIがついに国際数学オリンピックで金メダル、アメリカで起こっている文革と焚書」

(1:5:19)

中学数学からはじめるAI(人工知能)のための数学入門

(2:5:24)

最新AIによる未知なる物理法則、数学定理の発見

(3:8)

数学力を\

(12:16)