Qual era mesmo a ideia da IA encontrar soluções para os problemas de Erdos? Boris Alexeev encontrou a solução para o problema #124, que estava em aberto há 30 anos; a solução é 100% erdosproblems.com/forum/thread/1…es aqui: https://t.co/RaWKeXTi0I
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.