opção
JonathanRoberts
JonathanRoberts
31 de Março de 2026

O ChatGPT-5.2 da OpenAI resolveu uma conjectura matemática de longa data, demonstrando a capacidade da IA de gerar provas originais de forma independente. Pesquisadores da Universidade Livre de Bruxelas descrevem esse avanço, que comprova a validade da conjectura, como algo que leva a IA além do texto e do código, levando-a à matemática teórica rigorosa, o que pode transformar o papel dos seres humanos de criadores para verificadores e acelerar as descobertas científicas.

O ChatGPT-5.2 da OpenAI resolveu uma conjectura matemática de longa data, demonstrando a capacidade da IA de gerar provas originais de forma independente. Pesquisadores da Universidade Livre de Bruxelas descrevem esse avanço, que comprova a validade da conjectura, como algo que leva a IA além do texto e do código, levando-a à matemática teórica rigorosa, o que pode transformar o papel dos seres humanos de criadores para verificadores e acelerar as descobertas científicas.
Comentários (0)
0/300
OR