200 Terabyte Math-Proof

Gepostet vor 6 Monaten, 11 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

pubs

Die kürzeste Strecke in jede Kneipe Englands

Die Karte oben mit allen Kneipen in UK geht grade rum und auf Reddit findet man sie total ironisch „super…

ag_world_map

Neue Projektion der Welt: AuthaGraph Worldmap

Hajime Narukawa hat diese Woche den Good Design Award mit seiner neuen Projektion der Kontinente und seiner AutoGraph-Weltkarte gewonnen. Ist…

rube

1000 Hyperbolic Rubiks Cubes

MagicTile, eine Mathe-Software/Puzzle-Game mit drölfhundert Variationen des Rubiks Cubes in allen möglichen Geometrien und Projektionen. Es hat einen einflächigen, unendlichen…

puzzle

Treksit: Graph-Theory is a Game

Treksit, hübscher Time-Waster für Montagmorgenmittag basierend auf der Graphentheorie.

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…