A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

(wired.com)

2 points | by ryan_j_naughton 6 hours ago ago