El Centre de Recerca Matemàtica aprova el seu Pla Estratègic 2026-2030

El Centre de Recerca Matemàtica va aprovar el mes passat el seu Pla Estratègic per al període 2026-2030, un document que estableix l'orientació de la institució en la recerca, la formació i la seva relació amb la comunitat científica en general. Conté vuit objectius globals, quatre blocs científics bàsics i quatre programes estrella.

El CRM es va fundar el 1984, cosa que el converteix en l'institut de recerca matemàtica més antic d'Espanya. Des del 2021, ha crescut considerablement, en part a través d'acords marc amb les tres principals universitats catalanes (UAB, UPC i UB) i en part a través de la renovació de la distinció Unitat d'Excel·lència María de Maeztu, que va aportar dos milions d'euros de finançament addicional. S'han atorgat vuit beques ERC a investigadors afiliats al CRM durant l'última dècada. Entre el 2022 i el 2024, el centre va acollir més de 120 esdeveniments científics amb gairebé 4,500 participants d'arreu del món. El pla pren aquest període recent com a punt de partida sense tractar-lo com una garantia del que vindrà després.

El programa científic s'organitza al voltant de quatre àrees principals: anàlisi i EDP juntament amb sistemes dinàmics, àlgebra i geometria, modelització matemàtica i combinatòria. A més, el document també assenyala quatre iniciatives emblemàtiques. Dues d'elles es troben a la intersecció de les matemàtiques i la intel·ligència artificial. Una desenvolupa els fonaments matemàtics de la IA generativa, basant-se en la teoria del transport, les equacions diferencials parcials i els sistemes dinàmics d'alta dimensionalitat. L'altra pretén posicionar el CRM com a centre de referència en demostracions assistides per ordinador, un camp que s'ha expandit ràpidament a mesura que les eines computacionals esdevenen capaces de verificar arguments que els humans trigarien anys a comprovar manualment. Una tercera iniciativa emblemàtica dóna suport a la formalització de les matemàtiques; escriure demostracions en llenguatge verificable per ordinador mitjançant sistemes com Lean o Coq, un canvi que alguns en el camp consideren genuïnament transformador. La quarta aborda la modelització multiescala per a problemes en biologia, canvi climàtic i salut pública. No són problemes fàcils de calcular.

El document també reconeix el paper de la Unitat de Transferència de Coneixement del CRM en la traducció de resultats matemàtics abstractes en aplicacions amb efectes llegibles al món real. Un projecte d'optimització de xarxes d'autobusos per a Transports Metropolitans de Barcelona, ​​i les col·laboracions amb l'Institut de Ciències del Mar i el Sincrotró Alba, indiquen com serà això quan passi. El pla estableix mecanismes per fer que passi més sovint.

Pel que fa a la formació, l'objectiu és convertir la Barcelona Graduate School of Mathematics en una veritable referència internacional per a la formació doctoral i postdoctoral. El CRM supervisa actualment entre 15 i 16 tesis defensades a l'any. El pla vol convertir més estudiants de màster en candidats a doctorat (les dades del 2023-2024 suggereixen que la bretxa és més àmplia del que hauria de ser) i donar als investigadors postdoctorals vies més clares cap a llocs de treball independents, una cosa que històricament s'ha deixat en certa manera a l'atzar.

El Pla estratègic 2026–2030 està disponible al lloc web del CRM.