mathematicians taking a look at OpenAI's claims about solving those 10 problems: https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/