Matemático passou 7 anos em problema que IA resolveu em 80 minutos com um único prompt
Um entusiasta da matemática usou o GPT-5.4 Pro para encontrar uma abordagem inédita para um problema de Erdős que havia ocupado o matemático Jared Lichtman por sete anos