2 ms·
Probably because of Google's recent math olympiad results using AI-directed search in formal proof systems.
by cma 2y ago
Probably because of Google's recent math olympiad results using AI-directed search in formal proof systems.
loading thread…