Dominic Nahr / NZZ Vor zwei Jahren startete der britische Mathematiker Kevin Buzzard ein vielbeachtetes Forschungsprojekt. Er nahm sich vor, den im Jahr 1993 erbrachten Beweis der Fermatschen ...
Die Millennium-Probleme sind sieben besonders bedeutende mathematische Fragen. Sie wurden im Jahr 2000 ausgewählt und mit je einer Million Dollar Preisgeld für die erste richtige Lösung dotiert.
KI-Modelle finden Beweise, auf die Menschen in jahrzehntelanger Arbeit nicht gekommen sind. Machen sie Mathematiker bald überflüssig? Viele meinen: Die eigentliche Gefahr ist eine ganz andere. Die ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results