All the drama around AI’s takeover of mathematics

Laboratórios como OpenAI e Anthropic anunciaram soluções para problemas matemáticos históricos. Alguns resultados superam expectativas de especialistas sobre sistemas atuais.