Inteligencia Artificial supera a expertos en matemáticas: RMA revoluciona el campo de la demostración de teoremas
Un equipo de investigadores ha desarrollado un sistema agente llamado RMA que puede resolver problemas matemáticos de nivel de investigación de manera más efectiva que expertos humanos, incluyendo el modelo GPT-5.2R del estado del arte. El sistema utiliza una estructura modular y una memoria compartida para coordinar la generación, refinamiento y verificación de pruebas.
5 min lectura15semIAOnda Redaccion
