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