数学の証明は、私の標準的なメーターバーのままです。ゲーデルが 32b で SOTA をヒットした場合、これはおそらく現時点で最も難しい問題を解くために必要なすべてです。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
Alexander Doria（@Dorialexander）のスレッド
1 件のツイート · 2025/11/01 9:57
作者情報
推論モデルは（非常に）間もなく登場します。共同創設者 @pleiasfr
1 件のツイート·Sat Nov 01 09:57:54
JA に翻訳済み