📐IA já resolve problemas abertos de matemática
Timothy Gowers - ganhador da Medalha Fields, o "Nobel da matemática" - deu acesso ao ChatGPT 5.5 Pro para resolver problemas matemáticos em aberto. E o modelo respondeu. --- Sébastien Bubeck, pesquisador da Microsoft, compartilhou o trabalho com um aviso direto: "Se a IA matemática continuar progredindo no ritmo atual - e é o que espero - vamos enfrentar uma crise muito em breve." A crise não é que a IA vai errar. É que ela vai acertar coisas que humanos não conseguem, e a comunidade matemática vai precisar redefinir o que significa "provar" algo quando uma máquina faz isso primeiro.
Very important read. "if AI mathematics continues to progress at anything like its current rate -- which is what I expect to happen -- then we will face a crisis very soon"
— @SebastienBubeck View on X
A inteligência artificial acaba de cruzar uma fronteira matemática até então exclusiva dos humanos. Timothy Gowers, ganhador da Medalha Fields, utilizou o ChatGPT 5.5 Pro para atacar problemas matemáticos