A OpenAI afirma ter usado um de seus modelos de IA para resolver a conjectura da dist\u00e2ncia unit\u00e1ria, um problema de geometria discreta proposto por Paul Erd\u0151s em 1946. A empresa informou que a solu\u00e7\u00e3o ocorreu a partir de um \u00fanico prompt e com a ajuda de um modelo interno, n\u00e3o especificando qual.<\/p>\n
A descoberta foi divulgada em 20 de maio. Especialistas independentes, ligados a institui\u00e7\u00f5es distintas, validaram a veracidade do resultado sem detalhar o m\u00e9todo exato empregado pela IA. A comunica\u00e7\u00e3o detalha que a IA apresentou uma fam\u00edlia infinita de exemplos com melhoria polinomial.<\/p>\n
Segundo o comunicado, a IA utilizou a teoria alg\u00e9brica dos n\u00fameros para selecionar pontos cujas coordenadas resolvem equa\u00e7\u00f5es espec\u00edficas. O caminho \u00e9 considerado inusitado pelos matem\u00e1ticos, mas levou \u00e0 demonstra\u00e7\u00e3o de que a conjectura \u00e9 falsa em termos de dist\u00e2ncia unit\u00e1ria.<\/p>\n
A equipe de avalia\u00e7\u00e3o destaca que o modelo utilizado foi experimental e de racioc\u00ednio de prop\u00f3sito geral, n\u00e3o treinado exclusivamente para matem\u00e1tica. A demonstra\u00e7\u00e3o exige uma leitura cuidadosa, com detalhes ainda n\u00e3o publicados publicamente pela OpenAI.<\/p>\n
Analistas ouvidos pela imprensa cient\u00edfica apontam que, se confirmada, a abordagem pode abrir novas perspectivas para geometria discreta e para o uso de IA em provas matem\u00e1ticas complexas. A comunidade mant\u00e9m cautela sobre o compartilhamento de etapas detalhadas.<\/p>\n
Tom Trotter, matem\u00e1tico ligado \u00e0 \u00e1rea, afirmou que o avan\u00e7o \u00e9 extraordin\u00e1rio, mesmo para quem acompanha Erd\u0151s desde suas contribui\u00e7\u00f5es. Pesquisadores veem potencial impacto em futuras investiga\u00e7\u00f5es de problemas abertos da geometria discreta.<\/p>\n","protected":false},"excerpt":{"rendered":"