Alexander Doria（@Dorialexander）のスレッド

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