#mathematical proof
3 stories
AI's brute force threatens math's creative soul
OpenAI solved a decades-old puzzle using thousands of agents, but mathematicians worry the speed of AI proofs could destroy the understanding that drives discovery.
WIRED · 3m
C-HD Algorithm Achieves Faster Shortest Path Computation
New algorithm finds exact shortest paths in directed graphs with non-negative weights faster than Dijkstra's method for specific input sizes.
Vals · 1m
I used AI to prove a 50-year-old math conjecture
A programmer spent a month and billions of tokens getting frontier models to solve Conway's refinement conjecture in Lean.
Overreacted · 3m