Resuelven 20 problemas de Erdős con 20 cuentas de Codex en paralelo
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Un proyecto llamado Star Fleet Math ha resuelto 20 problemas abiertos de Erdős, incluyendo el Problema 123 (teoría de números) y el Problema 129 (teoría de Ramsey), utilizando 20 cuentas de Codex ejecutadas en paralelo. El Problema 123, que pregunta si todo entero suficientemente grande es suma de términos distintos de la forma a^i b^j c^k sin que ninguno divida a otro, fue demostrado formalmente en Lean 4. El Problema 129, que proponía una cota superior para un número de Ramsey, fue refutado formalmente, mostrando que la afirmación original es falsa. El proyecto destaca el uso de IA para atacar problemas matemáticos abiertos.
El cambio de coordenadas exitoso no fue meramente 'trabajar en un nivel homogéneo', sino 'colocar el crecimiento principal a lo largo de un rayo homogéneo interior, y luego usar la franja transversal no utilizada como masa opcional'.