Neel Somani resolveu um problema de Erdos?
Neel Somani
Neel Somani11/01, 13:00
Vitória de fim de semana: A prova que submeti para o Problema de Erdos #397 foi aceita por Terence Tao. A prova foi gerada pelo GPT 5.2 Pro e formalizada com Harmonic. Muitos problemas em aberto estão lá, esperando que alguém peça ao ChatGPT para resolvê-los:
À medida que o CT se desintegra, é divertido ver antigos personagens na natureza.
54