ConjectureBench: 15k open math problems for AI agents, frontier models crack decades-old conjectures
RexDouglass · x · 2026-08-01
Bespoke Labs introduces ConjectureBench, a collection of 15,000 open math problems designed for AI agents. Frontier models are already solving long-standing problems, such as disproving the Jacobian conjecture (open since 1939) with Claude Fable 5, and tackling a 100+ year old Maxwell problem.
More from Research
- Transforming quadruped robot runs on real hardware: per-pose RL policies in Isaac switched on morph — _Stocko_ · 2026-10-16
- KinoGen synthesizes robot loco-manipulation reference motions directly via kinematically grounded video generation — ChongZzZhang · 2026-10-16
- Science Robotics paper introduces F³, predictive event-based vision beyond optical flow — CSProfKGD · 2026-10-16
- VideoGen-Agent: An 8B Multimodal Agent Turns Video Generation Into a Tool-Use Loop — jiqizhixin · 2026-10-16
- Comprehension Audits: New Paper Proposes a Gate for AI-Written Code at Frontier Labs — ronbodkin · 2026-10-16
- Not Boring #215: Cammarata's Clean Networks Claim, Tesla's Flying Roadster, Tau Cut 73% — Not Boring (Packy McCormick) · 2026-10-16