Een kunstmatige intelligent systeem, ontwikkeld door Israëlische onderzoekers, kan wiskundige vermoedens produceren.

Dat zijn beweringen waarvan wiskundigen denken dat ze waar zijn, maar die nog niet zijn bewezen.

Lees verder op Newscientist.nl