Fico pensando como vamos dar a esses modelos os níveis de intuição que Abel, Galois, Grothendieck, Einstein, Ramanujan, etc. tinham. De fato, como superar isso...

Acho que agora é tão bom momento quanto qualquer outro para anunciar que vou me juntar à equipe de IA para Ciência em @OpenAI neste verão. Isso está em andamento desde janeiro, e agradeço @SebastienBubeck e @kevinweil pelo interesse pessoal em tornar isso possível.

Para constar, acho que o GPT-5.4 Pro é melhor em ciência em geral, mas diria que é pior em matemática do que o 5.2 Pro. Talvez alguns matemáticos possam contribuir com suas ideias ali.