| Departments |
Computer Science
|
|---|
| Description | The goal of this project is to explore the state of the art of checking of mathematical proofs written in scientific articles using AI tools such as chatGTP. On one hand one should explore the current state of the literature what is already known, and then make experiments, starting with very simple proofs created from machine check proofs and then look at mathematical articles, which are worked out in full detail, to see whether errors can be found. |
|---|
| Preparation | Beneficial (but not required) would be CSC375 Logic for Computer Science, CSC385 Modeling and Verification Techniques, CSCM85 Modelling and Verification Techniques, and any AI related modules. |
|---|
| Project Categories |
Artificial Intelligence (AI), Theorical Computer Science |
|---|
| Project Keywords |
Logic, Proofs, Testing and Verification |
|---|
Level of Studies
|
| Level 6 (Undergraduate Year 3) |
yes
|
|---|
| Level 7 (Masters) |
yes
|
|---|
| Level 8 (PhD) |
yes
|
|---|