Niemand zou resultaten moeten plaatsen die overwinning verklaren in een competitie zonder bewijsstukken te delen. In het geval van een wiskundewedstrijd zouden de geldige bewijsstukken informele bewijzen in natuurlijke taal moeten zijn, of formele Lean4-bewijzen. En die bewijsstukken zouden bij de aankondiging moeten komen, niet een week later. Dit niet doen is gewoon engagement farming en hype. De AI-industrie heeft daar genoeg van.