AI as a Research Partner: Advancing Theoretical Computer Science
In recent years, large language models (LLMs) have shown remarkable capabilities in a variety of tasks, especially in competitive mathematics and programming. Despite their incredible potential, the impact of these models in mathematical discovery, specifically the proving of new theorems…