OpenAI refuta la conjectura d'Erdős: què ha resolt
Un model d'OpenAI ha refutat una conjectura de geometria discreta de 1946. Expliquem el problema de les distàncies unitàries, la prova i els seus límits.
Tema
matemàtiques
Resums de vídeos per entendre millor aquest tema.
Un model d’OpenAI refuta una conjectura d’Erdős de 1946: què ha resolt realment
Un model intern d’OpenAI ha trobat una família de configuracions que supera la construcció coneguda del problema de les distàncies unitàries. Expliquem el resultat i els seus límits.
ChatGPT Pro contra Claude Fable 5 en matemàtiques de doctorat
Una prova amb problemes de doctorat revela límits de quota, respostes incompletes i un test de Python que confirma una fórmula de manera circular.
GPT‑5.6 Sol davant matemàtiques de doctorat: què resol de debò
Una prova de GPT‑5.6 Sol amb dos problemes de recerca mostra utilitat per redactar i explorar, però també verbositat i verificació incompleta.