Inteligencia IAAug 5, 2026Inteligencia IA
Artigo
O modelo interno de IA da OpenAI encontrou um contraexemplo para o problema da distância unitária de 1946 de Paul Erdős, marcando...
A primeira conjectura historicamente significativa resolvida por IA. Esse avanço demonstra a crescente capacidade da IA em pesquisa matemática.
Editorial Data Cube AIFonte: Ars Technica AI
01
Brief da fonte
O modelo interno de IA da OpenAI encontrou um contraexemplo para o problema da distância unitária de 1946 de Paul Erdős, marcando a primeira conjectura historicamente significativa resolvida por IA. Esse avanço demonstra a crescente capacidade da IA em pesquisa matemática.
02