dragaosemchama.com
Prova gerada por computador é maior que a Wikipédia - Dragão sem Chama
A mais recente prova gerada por computador, para resolver o problema da discrepância de ErdÅ‘s, é mais extensa que toda a informação contida Wikipédia.