1 artículos

Olimpiadas

Índice de etiquetas editoriales y cobertura filtrada.

IA en olimpiadas de matemáticas: medallas y verificación

Sistemas de DeepMind y OpenAI alcanzaron desempeños nivel medalla en IMO con pipelines de búsqueda y formalización.