AlphaProof & AlphaGeometry 2 achieve a silver-medal score in IMO! (Explainer)

preview_player
Показать описание
A short explainer on AlphaProof & Alpha Geometry 2 from Google DeepMind which achieve a silver-medal score in 2024 IMO!

#ai #science #machinelearning #engineering
Рекомендации по теме
Комментарии
Автор

Love the idea of using LLMs as a translation method to take natural language and formulate it into a representation suitable for symbolic computation, such as with Lean.

JonathanMugan
Автор

Really beautiful to see how they're doubling down on Reinforcement Learning.

zigzag
Автор

I feel like no one is talking about this hahaha

ai_outline