AIHacker Newsabout 2 hours ago
AI-Assisted Proof of Conway's Conjecture Claimed
17 min read
A mathematician claims to have used AI models to produce a Lean proof of Conway's 50-year-old refinement conjecture about omnific integers. The proof has passed mechanical checks but awaits independent human verification.
Level
Hype check
Tap to vote and see what everyone thinks.
