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

OpenAI anunció hoy que uno de sus modelos de razonamiento de propósito general encontró una construcción que refuta el límite superior conjeturado en el problema de la distancia unitaria planar de Erdős. Esto representa un avance significativo en la capacidad de la IA para el razonamiento matemático avanzado y la resolución de problemas.