Acelerando as descobertas científicas

“Não há dúvida de que a solução para o problema da distância unitária é um marco na matemática com IA: se um humano tivesse escrito o artigo e o submetido ao Annals of Mathematics, e eu tivesse sido solicitado a dar uma opinião rápida, eu recomendaria 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 a cota superior amplamente aceita, em vez de tentar prová-la. Isso sugere que o modelo tem alguma combinação de boa intuição, disposição para tentar abordagens consideradas improváveis pela comunidade e uma predisposição a tentar construções.… Na minha opinião, este artigo demonstra que os modelos atuais de IA vão além de simples auxiliares de matemáticos humanos: eles são capazes de ter ideias originais e engenhosas e, então, levá-las adiante até sua conclusão.”

“Este é um trabalho realmente impressionante, e eu o aceitaria para qualquer periódico sem hesitação. Na verdade, trabalhei brevemente nesse problema e tentei criar um contraexemplo, mas não consegui avançar… É definitivamente uma construção intimidadora de compreender até mesmo quando você sabe o que está acontecendo, e ainda mais difícil de explorar por conta própria.”