s2ksuch t1_iw999ox wrote
Reply to comment by PrivateLudo in 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 by Shelfrock77
Yeah its mark cuckerberg's company
Viewing a single comment thread. View all comments