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
[deleted] t1_iwcgcit wrote on November 14, 2022 at 4:52 PM Reply to comment by Shelfrock77 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 [deleted] Permalink Parent −1− Shelfrock77 OP t1_iwcgime wrote on November 14, 2022 at 4:53 PM entropy repeats itself, we are eternal forever. It doesn’t matter what you “measure” Permalink Parent 2
Shelfrock77 OP t1_iwcgime wrote on November 14, 2022 at 4:53 PM entropy repeats itself, we are eternal forever. It doesn’t matter what you “measure” Permalink Parent 2
Viewing a single comment thread. View all comments