Acelerar a descoberta científica

“Não há dúvida de que a solução do problema da distância unitária é um marco na matemática da IA: se um humano tivesse escrito o artigo e o tivesse submetido aos Annals of Mathematics, e me tivessem pedido uma opinião rápida, eu teria recomendado a aceitação sem qualquer hesitação. Nenhuma prova anterior gerada por IA chegou perto disso.”

“A CoT do modelo é profundamente interessante. É notável que uma maioria significativa dos pensamentos tente construir um contraexemplo para o limite superior amplamente aceite, em vez de tentar prová-lo. Isto sugere que o modelo tem alguma combinação de boa intuição, disponibilidade para tentar abordagens consideradas improváveis pela comunidade e predisposição para tentar construções.… Na minha opinião, este artigo demonstra que os modelos de IA atuais vão além de meros auxiliares para matemáticos humanos — são capazes de ter ideias originais e engenhosas e, depois, de as levar até à concretização.”

“Este é um trabalho realmente impressionante, e eu aceitá-lo-ia para qualquer revista sem hesitação. Na verdade, trabalhei brevemente neste problema e tentei criar um contraexemplo, mas não consegui progredir… É definitivamente uma construção intimidante de compreender, mesmo quando se sabe o que está a acontecer, e ainda mais difícil de explorar por conta própria.”