Un equipo de investigadores ha publicado los resultados de Aletheia, un agente de investigación matemática impulsado por el modelo Gemini 3 Deep Think de Google. Puesto a prueba en el reciente desafío FirstProof (que plantea problemas matemáticos complejos, inéditos y a nivel de investigación), el sistema logró resolver 6 de los 10 ejercicios de manera estrictamente autónoma, sin ninguna intervención humana durante la formulación de las demostraciones. Las soluciones han sido validadas por un panel de expertos independientes.
|
etiquetas: ia , matemáticas