AIKIT
Discovering mathematical concepts through a multi-agent system | AIKIT