Encantado de compartir: #Aletheia, nuestro agente de investigación matemática, acaba de resolver 6/10 problemas de FirstProof notoriamente difíciles de forma autónoma, ¡el mejor resultado del reto inaugural! Para mí, esto es incluso más grande que nuestro histórico logro oro en la IMO el año pasado; Estos problemas desafían incluso a los mejores matemáticos. Compartimos nuestros resultados de forma transparente, vemos el artículo y las reflexiones completas en el hilo. 👇