[swagmoney1606]

I built something like this in Haskell! I never benchmarked it, but I actually found it quite compelling. I would define each agent as a different "expert" in a subdomain of mathematics for example: proof theorist, abstract algebraic expert, etc.

I found it helpful, but the signal to noise ratio was high, lots of agents restating points etc.