awesome-ai-for-math

Discrete Mathematics papers

Title	Subject(s)	Venue & Year	Links & Resources
Gödel Test: Can Large Language Models Solve Easy Conjectures?	Discrete Mathematics, LLM	arXiv 2025