AI agents now solve math by bridging fields

A multi-agent system proves math conjectures by borrowing tools from unrelated fields, catching bad reasoning before it wastes compute.