AI can now solve difficult math problems; researchers caution about verification and reliability
Read the original at www.wired.com→Mathematics has been one of humanity’s most creative endeavors, akin to painting and poetry. Now, mathematicians are trying to save it from the brute force of AI.
Original headline: "Solving Math’s Greatest Problems Was an Art Form. Then Came AI"
Coverage timeline
- Sep 26, 18:38 UTC Hacker News (AI) AI can solve math. But can it verify the answer?
- Sep 27, 21:35 UTC Hacker News (AI) AI Has Cracked the Most Diabolical Problems in Math. Why Can't It Solve Chess?
- Sep 28, 09:30 UTC Wired AI lead source Solving Math’s Greatest Problems Was an Art Form. Then Came AI