> The rumor I’ve heard from multiple employees at OAI and Ant is that the model has solved hundreds of open problems in maths

Obviously these are unbiased and trustworthy sources.