La IA Aletheia de DeepMind resuelve 6 problemas matemáticos de nivel de investigación
Aletheia, la IA matemática más reciente de DeepMind, ha resuelto 6 de los 10 problemas de investigación no publicados del desafío FirstProof, con 5 soluciones evaluadas por expertos externos como publicables tras revisiones menores.