Emocionado 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 en el desafío inaugural! Para mí, esto es incluso más grande que nuestro logro histórico de oro en la IMO el año pasado; estos problemas desafían incluso a los mejores matemáticos. Compartimos nuestros resultados de manera transparente, vean el artículo y todos los pensamientos en el hilo. 👇