Er is weer een oud wiskundeprobleem opgelost, maar er is één probleem: de redenering en het bewijs controleren kost zoveel rekenwerk dat de uitkomst nooit door mensen te checken is. Het bewijs is met een computer gemaakt en kan nu dus ook alleen door een computer gecontroleerd worden… Geldt het dan wel? Bron: Kennislink door Marc Seijlhouwer
Ik wil mij aanmelden voor:
