Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System marktechpost.com Submitted by Shelfrock77 t3_yudl6t on November 13, 2022 at 8:44 PM in singularity 38 comments 233
ZoomedAndDoomed t1_iw9rgdp wrote on November 14, 2022 at 12:52 AM Didn't this happen just a week ago? Or is this new? Permalink 6
Viewing a single comment thread. View all comments