#proof-assistants

[ follow ]
www.scientificamerican.com
1 month ago
Artificial intelligence

AI Reaches Silver-Medal Level at This Year's Math Olympiad

Google DeepMind's AI programs excelled at International Mathematical Olympiad, solving 4 out of 6 problems at a silver medalist level. [ more ]
[ Load more ]