Source: cirosantilli/alphaproof
= AlphaProof
{c}
{title2=2024}
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
> AI achieves silver-medal standard solving <International Mathematical Olympiad> problems
Uses <autoformalization> down to <Lean>, and then <AlphaZero>. Cool.