IA de Pekín resuelve conjetura de 2014 en 80 horas
Un problema que los matemáticos no pudieron resolver en 12 añosEn 80 horas y sin intervención humana relevante, un sistema de inteligencia artificial desarrollado por la Universidad de Pekín resolvió y verificó formalmente una conjetura de álgebra conmutativa propuesta por el matemático estadounidense Dan Anderson en 2014. El resultado, publicado como artículo preliminar en arXiv …









