AIKIT
The Problem Is the Problem: Towards Scalable Mathematical Discovery | AIKIT