登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。

Vasily Ilin
@IlinVasily29521
Founding Director of the UW Math AI Lab, MTS @ Axiom Math
参加 February 2026
82 フォロー中    829 ファン
The Annals formalization paper is out: I like table 3