3 ms·

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems...

• fallingsquirrel 2y ago
  If I'm reading this right, these are narrowly-applicable purpose-built systems, not general-purpose LLMs. > AlphaProof, a new reinforcement-learning based system for formal math reasoning > AlphaGeometry 2, an improved version of our geometry-solving system