Un modelo de OpenAI resolvió un famoso problema matemático que desconcertó a los humanos durante 80 años
Un modelo de OpenAI refutó la conjetura de distancia unitaria de Erdős mediante la aplicación de técnicas matemáticas complejas.Resumen
Un modelo de inteligencia artificial de OpenAI ha refutado la famosa conjetura de distancia unitaria de Erdős, un problema de geometría discreta que permaneció sin resolver durante 80 años. Aunque el modelo no inventó técnicas matemáticas radicalmente nuevas, utilizó eficazmente conocimientos de la teoría algebraica de números para realizar un proceso de prueba que los matemáticos humanos evitaban debido a su complejidad y tediosidad. Este logro subraya una creciente colaboración entre humanos y máquinas, donde los sistemas de IA aprovechan su vasta capacidad de procesamiento para explorar estrategias de demostración que, una vez verificadas y refinadas por humanos, demuestran ser herramientas potentes para avanzar en la investigación matemática.
(Fuente：Ars Technica)