Artykuły z tagiem

Formalne Dowodzenie

1 artykuł

4 min czytania

Goedel-Prover-V2: Rewolucja w Automatycznym Dowodzeniu Twierdzeń

Goedel-Prover-V2 łączy syntezę danych opartą na rusztowaniach z autokorektą w asystencie Lean. Na miniF2F i PutnamBench bije AlphaProof oraz DeepSeek-Prover.

AISztuczna InteligencjaMatematyka