gpt-5 pro für neuartige Mathematik – in Partnerschaft mit einem Mathematikprofessor: