検索
意味検索
ログイン
ユーザー
登録
ログイン
ユーザー登録
#FormalQualBench
LISTENのRSS URLをコピー
数学の翻訳家
AIが数学の「院試」を受けたら――証明の正しさを機械が保証する時代
Mar 21, 2026
0.5x
0.6x
0.7x
0.8x
0.9x
1.0x
1.1x
1.2x
1.3x
1.4x
1.5x
1.6x
1.7x
1.8x
1.9x
2.0x
2.1x
2.2x
2.3x
2.4x
2.5x
2.6x
2.7x
2.8x
2.9x
3.0x
3.1x
3.2x
3.3x
3.4x
3.5x
3.6x
3.7x
3.8x
3.9x
4.0x
