200 Terabyte Math-Proof

Gepostet vor 10 Monaten in #Misc #Science #Tech #Mathematics

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.

Digital-Uhr in Conways Game of Life

Großartig: Eine Digital-Uhr in John Horton Conways zweidimensionalen zellulären Automaten: Get the design from this gist. Copy the whole file…

Raymond Smullyan R.I.P.

Logiker Raymond Smullyan ist im stolzen Alter von 97 Jahren gestorben. Der Mann war neben seinen mathematischen und philosophischen Arbeiten…

2-Dimensional Mandelbrot made from 3-Dimensional Fractal

Ab dem zweiten Satz von Peter Karpov raff ich sein Posting nur noch so zu 10%, aber soweit ich das…

Alexander Graham Bell kissing his wife Mabel in a Tetrahedron

Alexander Graham Bell, Erfinder des Telefon, knutscht seine Frau in einem Tetraeder, der alte Polyeder-Fetischist. (via Archillect Links)

Large Fractal Collider

Cool Giganto-Machine-like Fractal-Structure by Julius Horsthuis (who's other 3D-Fractal-Videos you might have seen, find some below). I'm envisioning a future…

Mechanical Sand-RAM

Schöne Arbeit von Ralf Baecker, ein mechanischer RAM, der Binärdaten mit Sandkörnern schreibt und damit ein bisschen Voodoo ausrechnet: Random…

Homer Simpson gezeichnet mit dem Problem des Handlungsreisenden

Jack Morris hat einen Algorithmus programmiert, der ihm Vektorgrafiken und Simpsons in Punktierungen umwandelt und auf diese dann das Problem…

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…

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…

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…

Treksit: Graph-Theory is a Game

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