A OpenAI afirma que um de seus modelos de raciocínio derrubou uma conjectura central da geometria discreta, encontrando um contraexemplo que matemáticos não tinham achado. Se confirmado por revisão independente, é um daqueles momentos em que a IA sai do papel de assistente e começa a contribuir com matemática nova de verdade.
O porém vale ser dito: anúncio em blog corporativo não é prova. A comunidade matemática ainda precisa auditar o resultado, e a OpenAI tem histórico de embalar feitos técnicos em narrativa de marketing. Também não fica claro quanto do mérito é do modelo e quanto é dos humanos que guiaram a busca.
Via OpenAI.
Fonte: openai.com · Imagem de capa: Foto de Thomas T no Unsplash
Quer aplicar IA no seu trabalho?
Aprenda qual ferramenta usar para cada tarefa — ChatGPT, Claude, Copilot, Gemini e NotebookLM — nos cursos do IA Todo Dia.
Conhecer os cursos →