gpt-5 pro for novel mathematics — in partnership with a math professor: