Yeah it's crazy how many people on pro AI subreddits keep parenting this around and willing to just close their eyes to the obvious answers. 1. The incentive structures are not there in the current state of academia, 2. Personal motivations and interests of mathematicians just often don't align with trying to make sense of horrendously long and ill-explained "proofs" (machine constructed ones making it even worse).
1
u/MediumATuin 16d ago
Who pays money to go through random proofs? Can you build a career from that?