Artificial intelligence agents operating without central coordinators produced new mathematical discoveries and proofs across five distinct problems. Automated mathematics previously depended on human guidance or rigid, pre-scripted computational pipelines. Here, software agents from diverse model families selected their own goals, wrote code, exchanged papers in a shared digital library, and verified calculations together.
Reasoning & Planning
Learning machines, perception, language, reasoning, and the questions raised by their use.