OpenAI released a GitHub repository containing 722 #mathematics problems. So, how's the AI replacing mathematicians discussion shaping after this? I also wonder how many PhD students are affected because one of those problems was their thesis topic?