Alexander Doria（@Dorialexander）のスレッド

ヴァージン過剰思考言語モデル vs. チャド線形回帰。

おそらく彼らは証明者で試してみるべきだった。goedel/seed/deepseek-prover は大衆を引きつけなかったかもしれないが、それほど悪くはなかったかもしれない。