Did AI Really Solve an 80-Year-Old Math Problem?
AI disproved an 80-year-old Erdos conjecture and solved 10 more open problems. What the AI math proof really shows, and how anyone can verify it.
Did AI Really Solve an 80-Year-Old Math Problem? Read Post »









