Project name: | NextReason: Next Generation Computer Assisted Reasoning |
Acronym: | NextReason |
ID code: | 25-17929X |
Call: | GA ČR Public Call, Panel EX8, 2024 |
Supported by: | Czech Science Foundation (GA ČR) |
Project duration: | 01/2025–12/2029 (60 months) |
Principal investigator at CIIRC: | Mgr. Josef Urban, Ph.D. |
Coordinator: | CIIRC ČVUT |
Budget: | Total budget: CZK 49 505 000 Allocated to CIIRC CTU: 100 % |
Abstract:
The NextReason project aims to develop a new generation of systems for automated reasoning, theorem proving, formal verification, and conjecture generation. These systems will be capable of conducting complex proofs, mathematical discovery, self-improvement, and the automated formalization of contemporary mathematics.
The project aspires to make a breakthrough in the field of artificial intelligence and formal logic, building upon advanced methods in automation and proof techniques. The intended outcome is a substantial advance in the ability of AI systems to understand and generate formal mathematical structures and proofs.