Een neurochirurg kraakte met AI een raadsel dat al meer dan 20 jaar standhield: 16 uur waren genoeg

Neurochirurg Jin Shanmu heeft een wiskundig vraagstuk opgelost dat sinds 2004 openstond. Daarbij kreeg hij hulp van AI en duurde de sessie zestien uur. Wiskundigen noemen de bewijsvoering veelbelovend, maar de formele toets moet nog volgen. Het bericht Een neurochirurg kraakte met AI een raadsel dat al meer dan 20 jaar standhield: 16 uur waren genoeg verscheen eerst op Duurzaamnieuws .