Estamos al borde de un cambio profundo en el campo de las matemáticas. La prueba de Vibe está aquí. Aristotle de @HarmonicMath acaba de probar el Problema de Erdos #124 en @leanprover, todo por sí mismo. Este problema ha estado abierto durante casi 30 años desde que se conjeturó en el artículo “Secuencias completas de conjuntos de potencias enteras” en la revista Acta Arithmetica. Boris Alexeev ejecutó este problema utilizando una versión beta de Aristotle, recientemente actualizada para tener una capacidad de razonamiento más fuerte y una interfaz de lenguaje natural. La superinteligencia matemática se está acercando minuto a minuto, y estoy seguro de que cambiará y acelerará drásticamente el progreso en las matemáticas y en todos los campos dependientes.

Ver la discusión completa aquí: