Wikipedia-Size mathematical Proof introduces Non-Human Mathematics

Mathematiker haben mit einem Rechner einen Beweis für das Erdős Discrepancy Problem aufgestellt. Der ist ungefähr so groß wie die komplette Wikipedia und kann von Menschen nicht mehr nachvollzogen werden, weshalb sie von „Non-Human Mathematics“ sprechen, was ja ein bisschen albern ist, da Mathematik eine objektive Wahrheit darstellt und die reinste aller Wissenschaften ist. Sheldon Cooper jedenfalls würde kurz komisch lachen. Wie auch immer: Der Beweis ist drölfhundertmal größer, als der nur 15.000 Seiten lange Beweis des Enormous Theorem. Pff, Amateure.

"It might be that somehow we have hit statements which are essentially non-human mathematics," says Alexei Lisitsa of the University of Liverpool, UK, who came up with the proof together with colleague Boris Konev. […]

Establishing [the proof] took a computer nearly 6 hours and generated a 13-gigabyte file detailing its working. The pair compare this to the size of Wikipedia, the text of which is a 10-gigabyte download. It is probably the longest proof ever: it dwarfs another famously huge proof, which involves 15,000 pages of calculations. […]

Wikipedia-size maths proof too big for humans to check