200 Terabyte Math-Proof

Gepostet vor 1 Jahr, 2 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.

Cellular Automata Cube

Cubes.io: Conways Game of Life als 3D-Spielzeug mit Cubes und Spheres und Schnickschnack als Evolution-Nullpunkt, von wo aus die ganzen…

Superconducting Quantum Levitation on a 3π Möbius Strip

„Quantum levitation on a 3π Möbius strip track! Watch the superconductor levitate above the track and suspend below the track,…

Stereographic Torus Knot

I'm not sure what's going on here but I like it: „This is very similar to Rise Up, though with…

4D Monkey Dust

Henry Segerman erklärt vierdimensionale Affen und Stereoprojektion: Die 3D-Prints von Segerman habt ihr sicher schon irgendwo gesehen, er macht diese…

4D Toys

4D Toys, eine nette iPhone-App (hab sie noch nicht installiert, DL läuft grade), ein Spielplatz voller Bauklötze aus der vierten…

Mandelworlds

I cringe at (most of) this guys music choice and pretentious infotext gibberish, but his 3D-fractals kick some serious ass,…

Tarantulas calculate Distance with their 3 billion eyes

Spinnen berechnen ihre Wege mit ihren gegenüberliegenden Augenpaaren und konstruieren spinnensinnmäßig ein rechtwinkliges Dreieck, auf dessen Hypotenuse sie sich dann…

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)