Nikt nie powinien publikować wyników ogłaszających zwycięstwo w konkursie bez dzielenia się dowodami. W przypadku konkursu matematycznego ważnymi dowodami powinny być nieformalne dowody w języku naturalnym lub formalne dowody w Lean4. A te dowody powinny być dołączone do ogłoszenia, a nie tydzień później. Nie robienie tego to tylko zbieranie zaangażowania i hype. Przemysł AI ma tego wystarczająco dużo.