I forrige uge leverede en sprogmodel fra OpenAI et bevis for et af matematikkens syv såkaldte Millennium-problemer – opgaver så svære, at de har...