@logic_intのAlephは非常に優れていて、Putnamの#1を使い、ベンチマーク🔥で15件の誤りを見つけました それから、ジョージが開示してくれたことに感謝します!