Comment by matteoraso

2 months ago

I've been wanting to experiment with using AI to prove math theorems, but compute is obviously a massive limiting factor here. Are there any plans to open source this?

0 comments