pembuktian matematik

OpenAI kongsi percubaan bukti model dalam cabaran 'First Proof'

OpenAI menerbitkan percubaan bukti model AI mereka untuk cabaran matematik 'First Proof'. Tujuan adalah menilai kebolehan penalaran peringkat penyelidikan pada masalah bertaraf pakar.