IndieMath – Crowdfunded automated proving for open CS/math problems #1 Post by nsomani » Fri, Jul 31, 2026, 9:53 PM UTC IndieMath – Crowdfunded automated proving for open CS/math problemsindiemath.ai