An AI-Assisted Proof Draws a New Boundary for Quantum Speedups
An artificial intelligence system can make a persuasive mathematical claim long before anyone knows whether it has proved it. The harder achievement is to produce a chain of reasoning that…
