| Název: | NextReason: Počítačové uvažování nové generace |
| Akronym: | NextReason |
| Registrační číslo: | 25-17929X |
| Výzva: | Veřejná soutěž GA ČR, komise EX8, 2024 |
| Poskytovatel dotace: | Grantová agentura České republiky |
| Doba řešení: | 01/2025–12/2029 (60 měsíců) |
| Hlavní řešitel za CIIRC: | Mgr. Josef Urban, Ph.D. |
| Koordinátor: | CIIRC ČVUT |
| Rozpočet: | Celkový rozpočet: 49 505 000 Kč Z toho podpora pro CIIRC ČVUT: 100 % |
Abstrakt:
Cílem projektu NextReason je vyvinout systémy nové generace pro počítačové uvažování, dokazování, formální verifikaci a tvorbu domněnek. Tyto systémy mají být schopné komplexních důkazů, matematického objevování, sebezdokonalování a automatizované formalizace současné matematiky.
Projekt usiluje o průlom v oblasti umělé inteligence a formální logiky, přičemž staví na pokročilých metodách automatizace a důkazových technikách. Výsledkem má být výrazný posun ve schopnosti systémů AI porozumět a tvořit formální matematické struktury a důkazy.
