ru24.pro
News in English
Август
2024

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

0

During the 2024 International Mathematical Olympiad, Google DeepMind debuted an AI program that can generate complex mathematical proofs