Moin! Mein Mathematiker-Herz hat gerade einen Schlag ausgesetzt als ich auf diesen wundervollen [Diamanten](http://www.cs.ru.nl/~freek/100/) gestoßen bin. Hinter dem Link befindet sich eine Liste von 100 richtungsweisenden mathematischen Theoremen und Hypothesen. Dazu gibt es jeweils Verweise auf Computer-verifizierte Beweise, sofern sie denn existieren. Vielleicht kann sich ja hier der ein oder andere genauso darüber freuen wie ich. Jetzt schon mal ein Prost auf den- oder diejenige, die es schafft so einen Beweis für [Fermats letztes Theorem](https://de.wikipedia.org/wiki/Gro%C3%9Fer_Fermatscher_Satz) zu führen. Ein doppeltes Prost, wenn der Beweis konstruktiv ist. Ich fürchte, das werde ich beides nicht mehr miterleben dürfen. Viele Grüße\\ 1UP

Moin! Mein Mathematiker-Herz hat gerade einen Schlag ausgesetzt als ich auf diesen wundervollen [Diamanten](http://www.cs.ru.nl/~freek/100/) gestoßen bin. Hinter dem Link befindet sich eine Liste von 100 richtungsweisenden mathematischen Theoremen. Dazu gibt es jeweils Verweise auf Computer-verifizierte Beweise, sofern sie denn existieren. Vielleicht kann sich ja hier der ein oder andere genauso darüber freuen wie ich. Jetzt schon mal ein Prost auf den- oder diejenige, die es schafft so einen Beweis für [Fermats letztes Theorem](https://de.wikipedia.org/wiki/Gro%C3%9Fer_Fermatscher_Satz) zu führen. Ein doppeltes Prost, wenn der Beweis konstruktiv ist. Ich fürchte, das werde ich beides nicht mehr miterleben dürfen. Viele Grüße\\ 1UP