Teoretičari brojeva zabrinuti su da je sva matematika dosad pogrešna

Neki od najvećih umova ovog polja, velika imena poznata po svojoj pouzdanosti, počinju da koriste softvere kako bi im pomogli da razumeju i verifikuju određene dokaze. Kevin Bazard, teoretičar brojeva i profesor teorijske matematike na Imperial koledžu u Londonu, veruje da je vreme da se stvori nova oblast matematike posvećena kompjuterizaciji dokaza. Neki od najvažnijih dokaza postali su toliko kompleksni da praktično ne postoji ljudsko biće na planeti koje može