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

Pesquisadores da Universidade Livre de Bruxelas relatam que o ChatGPT-5.2 da OpenAI resolveu uma conjectura matemática de longa data por meio da geração autônoma de provas, um avanço denominado “vibe-proving”. Isso demonstra o raciocínio original da IA na matemática teórica, podendo redirecionar o papel dos seres humanos para a verificação e acelerar a pesquisa.

Pesquisadores da Universidade Livre de Bruxelas relatam que o ChatGPT-5.2 da OpenAI resolveu uma conjectura matemática de longa data por meio da geração autônoma de provas, um avanço denominado “vibe-proving”. Isso demonstra o raciocínio original da IA na matemática teórica, podendo redirecionar o papel dos seres humanos para a verificação e acelerar a pesquisa.
Comentários (0)
0/300
OR