AI-Assisted Proof Settles Longstanding Question About Quantum Speedups
A Lean-checked proof establishes the Aaronson-Ambainis conjecture on quantum query advantages for most random inputs, while leaving total runtime open.
Tesla’s Robotaxi Strategy And The Cybertruck: A Shift In Focus
Elon Musk says Tesla will wind down Cybertruck production in Texas around mid-2027 to expand Cybercab output; the truck’s longer-term future is unclear.