🧠✨ When AI meets math: NuRelm is building the software behind Polymath Plus, a new platform where humans + AI collaborate to prove theorems. Backed by an $18M #AIforMathFund investment from Renaissance Philanthropy supported by XTX Markets. nurelm.com/the-lab/18m-...
October 31, 2025 at 1:50 PM
🧠✨ When AI meets math: NuRelm is building the software behind Polymath Plus, a new platform where humans + AI collaborate to prove theorems. Backed by an $18M #AIforMathFund investment from Renaissance Philanthropy supported by XTX Markets. nurelm.com/the-lab/18m-...