Estes matemáticos estão tentando educar A.I.

Modelos de linguagem grandes lutam para resolver questões matemáticas de nível de pesquisa. É preciso um humano para medir o quão mal se comportam.