Pariul lor a permis sisteme formale de inteligență artificială matematică (cum ar fi AlphaProof). În 2022, aproape nimeni nu credea că un LLM ar putea fi nivelul de aur IMO până în 2025.
Nat McAleese
Nat McAleese19 iul., 17:47
Vedem un progres mult mai rapid al IA decât au prezis Paul Christiano și Yudkowsky, care au avut aur în 2025 la 8% și, respectiv, 16%, prin metode mai generale decât se așteptau
164,31K