ia
GPT-5.6 y la prueba matemática formal
GPT-5.6 y la nueva frontera matemática pone el foco en una supuesta prueba de la Cycle Double Cover Conjecture: qué se puede verificar, qué parece benchmark extremo y qué dice esto sobre los LLM en investigación formal para lectores de LatAm.
Leer artículo