NextReason

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.