Research results
Agent AFK solved three open math problems
In October 2026, agent-afk agents constructed symmetric weighing matrices for all three orders a 2025 paper listed as unknown. Each result is machine-verifiable in under a second.
- SW(25,16)First known symmetric weighing matrix of order 25 and weight 16. Confirmed by the paper author’s own verifier.
- SW(27,16)First known symmetric weighing matrix of order 27 and weight 16. Two independent solutions found on the same day.
- SW(29,16)First known symmetric weighing matrix of order 29 and weight 16. Completes all three open cases listed in Rosin (arXiv:2505.23881).