¿Neel Somani resolvió un problema de Erdos?
Neel Somani
Neel Somani11 ene, 13:00
Victoria del fin de semana: La prueba que presenté para el Problema de Erdos #397 fue aceptada por Terence Tao. La prueba fue generada por GPT 5.2 Pro y formalizada con Harmonic. Muchos problemas abiertos están ahí, esperando a que alguien le pida a ChatGPT que los resuelva:
A medida que CT se desintegra, es divertido ver viejos personajes en la naturaleza
27