Discurso de aceptación: Premios de Investigación Matemática Vicent Caselles 2026

Antonio Casares Santos agradece el apoyo de las personas que han contribuido a su trayectoria investigadora y presenta su trabajo en lógica matemática y teoría de la computación, centrado en comprender qué problemas pueden resolverse mediante algoritmos y cuáles son los límites de la demostración automática de teoremas. Durante su intervención, reflexiona sobre los avances de la inteligencia artificial generativa y reivindica el valor de la investigación matemática más allá de la obtención de demostraciones, destacando su contribución al desarrollo del pensamiento abstracto, el lenguaje preciso y la capacidad de análisis. También defiende la importancia de comprender nuevas ideas y disfrutar del proceso de descubrimiento matemático.

El discurso se enmarca en la ceremonia de entrega de los Premios de Investigación Matemática Vicent Caselles 2026, concedidos por la Real Sociedad Matemát

Antonio Casares Santos agradece el apoyo de las personas que han contribuido a su trayectoria investigadora y presenta su trabajo en lógica matemática y teoría de la computación, centrado en comprender qué problemas pueden resolverse mediante algoritmos y cuáles son los límites de la demostración automática de teoremas. Durante su intervención, reflexiona sobre los avances de la inteligencia artificial generativa y reivindica el valor de la investigación matemática más allá de la obtención de demostraciones, destacando su contribución al desarrollo del pensamiento abstracto, el lenguaje preciso y la capacidad de análisis. También defiende la importancia de comprender nuevas ideas y disfrutar del proceso de descubrimiento matemático.

El discurso se enmarca en la ceremonia de entrega de los Premios de Investigación Matemática Vicent Caselles 2026, concedidos por la Real Sociedad Matemática Española y la Fundación BBVA para reconocer la excelencia de jóvenes investigadores y sus contribuciones al avance del conocimiento matemático.