👀 AI wordt nu een competente bijdrager aan wiskunde op onderzoeksniveau ... langzaam, dan ineens alles tegelijk