Reminds me of this article about an AI model that can generate proofs for Math Olympiad: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver

Reminds me of this article about an AI model that can generate proofs for Math Olympiad: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems... Disclosure: I work at Google, but not on AI.