IA resuelve problema #728 de Erdős: innovación y colaboración
Un hito para la IA en la matemática avanzada El reciente anuncio de que GPT-5.2, un modelo de OpenAI, ha logrado resolver de forma autónoma el problema #728 de Erdős marca un avance crucial en la interacción entre IA y matemáticas. Convalidado por el sistema Aristotle de Harmonic mediante formal verification usando Lean, este logro …







