200 Terabyte Math-Proof

Gepostet vor 3 Monaten, 30 Tagen in Misc Science Tech Share: Twitter Facebook Mail

Ich dachte, ich hätte hier mit meiner fast 1GB großen NC-Datenbank ein ziemlich stattliches Datenmonster angehäuft. Fuck that. Introducing: The Keyser Soze of Math Two-hundred-terabyte maths proof.

Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes, roughly equivalent to all the digitized text held by the US Library of Congress. […] Computer-assisted proofs too large to be directly verifiable by humans have become commonplace […] Still, “200 terabytes is unbelievable”, says Ronald Graham, a mathematician at the University of California, San Diego. The previous record-holder is thought to be a 13-gigabyte proof, published in 2014.

Tags: Mathematics

CrcSeNWWEAEmOhs

Fibonacci Everything

Exhibit 1: Exhibit 2: „i made a golden ratio bot. because why not.“ Exhibit 3: Fibonacci Flim-Flam

fract

Fractal Droste

Schönes Posting von Roy Wiggins über fraktale Droste-Effekte inklusive jeder Menge Beispiele mit editierbarem Code, an denen man auch ohne…

geb

3D-gedruckte, multiperpektivische Voxel-Portraits von Gödel, Escher, Bach in einem Objekt

Das Cover von Douglas Hofstadters Gödel, Escher, Bach - ein Endloses Geflochtenes Band zeigt ein Objekt, dessen Schatten die Anfangsbuchstaben…

dr1

Möbius-Transforming Spherical Images

Paper von Saul Schleimer und Henry Segerman (PDF) über Möbius-Transformationen und Droste-Pics. Von der Mathematik dahinter verstehe ich nicht allzuviel,…

gauss

Sophie Germain-Portrait aus Primzahl-Pixeln

Superclevere Arbeit aus der Mathe-Kunst-Ausstellung der 2016er Bridge Konferenz: Zachary Abel hat eine Primzahl gefunden, deren 5671 Ziffern in einem…

round

Ausgerechnete Rektangularität der Länder und ihre Rundheit

David Barry fragte sich neulich, was die rechteckigsten Länder der Erde sind. Also hat er's ausgerechnet. Laut seinem Algorithmus ist…

cyl

Ambiguous Cylinder Illusion

Tolle optische Illusion von Kokichi Sugihara, hat grade den zweiten Platz des „Best Illusion of the Year“-Contests gewonnen. The direct…

Clifford Stoll explains gaussian Pizza-NomNom

Clifford Stoll explains gaussian Pizza-NomNom

You gotta love Cliff Stoll.

gol2

Game Of Life your Name

Nachdem Clark Duvall vor zwei Jahren customizable Typo als Ausgangspunkt für John Conways zweidimensionalen zellulären Automaten aka Game of Life…

rel2

Scheinkorrelationen

Eine deutschsprachige Lokalisation der ollen Website Spurious Correlations, genau dasselbe Konzept, nur mit anderen Quellen und Statistiken. (via Andreas) In…