Neel Somani resolveu um problema de Erdos?
Neel Somani
Neel Somani11 de jan., 13:00
Vitória no fim de semana: A prova que enviei para o Problema #397 do Erdos foi aceita por Terence Tao. A prova foi gerada pelo GPT 5.2 Pro e formalizada com o Harmonic. Muitos problemas em aberto estão ali, esperando alguém pedir ao ChatGPT que os resolva:
À medida que CT se desintegra, é divertido ver personagens antigos na natureza
59