I used OpenAI Dots running GPT-6 Astra on the Ultra reasoning mode, as an agent swarm with 6 subagents, to create a new mathematical proof. The proof comes with Lean verification.

Caveat: this is not peer reviewed yet, so consider it speculative. Still, not bad for a weekend of playing with agent orchestration.

I am in touch with a few mathematicians from the Covering Repository, who have confirmed that the result is novel, and am working on getting the proof human reviewed.