Has AI made any progress as a mathematical theory-builder?
Read the original at mathoverflow.net→Original headline: "Has AI made any progress as a mathematical theory-builder,,,,?"
Coverage timeline
- Oct 24, 10:42 UTC Hacker News (AI) lead source Has AI made any progress as a mathematical theory-builder,,,,?