PROVER

Prover adalah model AI yang dirancang untuk menyelesaikan bukti dan teorema matematis. Versi terbarunya, V2, baru saja dirilis dan dibangun di atas model V3 yang memiliki 671 miliar parameter.