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 modstået utallige forsøg fra verdens bedste matematikere. 

Med al sandsynlighed er beviset korrekt. Som forsker stiller det et svært spørgsmål: