El artículo «As AI keeps improving, mathematicians struggle to foretell their own future» describe cómo la IA está progresando rápidamente en el campo de las matemáticas. El proyecto First Proof, diseñado para evaluar las capacidades de los LLMs, ha revelado que estos sistemas pueden generar pruebas válidas para problemas matemáticos reales.

La primera ronda de pruebas mostró que los modelos de OpenAI y Google DeepMind superaron las expectativas, resolviendo parcialmente hasta ocho de diez problemas propuestos. Sin embargo, la verificación de estas pruebas resultó ser un desafío, ya que la IA puede cometer errores sutiles pero convincentes.

Para la segunda ronda, el equipo de First Proof exigirá transparencia y acceso a los modelos de IA participantes, así como una evaluación rigurosa por parte de expertos. El objetivo es comprender mejor las capacidades de la IA y anticipar su impacto en el futuro de la investigación matemática, asegurando que los jóvenes investigadores estén preparados para este nuevo panorama.