OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

A OpenAI anunciou hoje que um de seus modelos de raciocínio de propósito geral encontrou uma construção que refuta o limite superior conjecturado no problema da distância unitária planar de Erdős. Isso representa um desenvolvimento significativo na capacidade da IA para raciocínio matemático avançado e resolução de problemas.