Resonerande AI-system: nya frontliner och tillämpningar

Forskningsprojekt, 2026

Nya framsteg inom resonerande AI-system, till exempel stora resonemangsmodeller som GPT-5, kombinerar förmågorna hos stora språkmodeller med mekanismer som tankekedjor (chain-of-thought, CoT) och formella verifieringsverktyg. Denna banbrytande teknik utmanar traditionella problemlösningsmetoder inom många områden, från matematik och programmering till autonoma agenter. Att AI-system nu kan vinna guldmedaljer vid den Internationella matematikolympiaden visar på potentialen att matcha eller överträffa den mänskliga förmågan även för krävande intellektuella uppgifter. Detta planeringsprojekt samlar en välmeriterad grupp forskare inom AI och formella metoder för att etablera ett excellenskluster dedikerat till att stärka de vetenskapliga och tekniska grunderna för resonerande AI-system och utforska dess tillämpningar. Under planeringsfasen kommer vi att definiera klustrets vetenskapliga agenda och bygga ett forskningskonsortium som spänner över akademi och industri. Centrala forskningsområden inkluderar förstärkningsinlärning för komplexa resonemang; neurosymbolisk AI som integrerar intuitiva LLM-resonemang med formella symboliska metoder; kognitionsvetenskapligt inspirerade arkitekturer för abstraktion och anpassningsförmåga; tolkbar AI för säkerhetskritiska områden; och resurseffektivt resonemang. Klustret kommer även att identifiera och undersöka tillämpningsområden, där AI för matematik blir ett profilområde grundat i vår expertis och erfarenhet inom formaliserad matematik.