OurBigBook About$ Donate
 Sign in+ Sign up

Ciro Santilli @cirosantilli 37

 Message
User's profile image

 Incoming links: Autoformalization

AlphaProof  Updated 2025-05-29  +Created 2025-04-24
 View more
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.
 Read the full article
Total articles: 1
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook