Nessuno dovrebbe pubblicare risultati dichiarando vittoria in una competizione senza condividere le prove. Nel caso di una competizione matematica, le prove valide dovrebbero essere dimostrazioni informali in linguaggio naturale, o dimostrazioni formali in Lean4. E quelle prove dovrebbero accompagnare l'annuncio, non una settimana dopo. Non farlo è solo un modo per aumentare l'engagement e creare hype. L'industria dell'AI ha già abbastanza di questo.

Lavoro straordinario da parte del team