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.