ChatGPT Resolve Problema Matemático Inédito de Erdős em 15 Minutos
Modelo da OpenAI surpreende ao solucionar conjectura histórica com prova formal verificada, marcando avanço na fronteira do conhecimento.
14/01/2026
526