Machine voor wiskundige vermoedens

Srinivasa Ramanujan was een Indiaas wiskundegenie dat tijdens zijn korte leven van 1887 tot 1920 verrassend veel diepe wiskundige vermoedens produceerde.

Vele daarvan zijn later door andere wiskundigen bewezen. Onderzoekers van de technische universiteit Technion in Israël hebben nu een Ramanujan-machine ontwikkeld: een computerprogramma dat interessante vermoedens produceert rond wiskundige constanten. De wiskundige intuïtie waarvoor Ramanujan zo bekend was, imiteert het programma met technieken uit AI. De Ramanujan-machine leverde zo al nieuwe formules op voor π, e, de constante van Apéry en de constante van Catalan. Voorlopig kan het algoritme alleen nog maar formules met kettingbreuken genereren, maar dat levert al voldoende werk voor wiskundigen op om die allemaal te gaan bewijzen…

Welcome