Illustration of human hand and robot hand pointing toward drawn lightbulb on blackboard

🧠✨ 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-...