Putnam にとっては少し残念ですが、DeepSeek-Prover-2 > Seed-Prover のシーケンスは、LLM 数学の歴史において依然として不可欠な部分となるでしょう。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
Alexander Doria（@Dorialexander）のスレッド
1 件のツイート · 2025/12/11 18:47
作者情報
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/11 18:47
Putnam にとっては少し残念ですが、DeepSeek-Prover-2 > Seed-Prover のシーケンスは、LLM 数学の歴史において依然として不可欠な部分となるでしょう。