Kaarssteun t1_iw9eezc wrote
Reply to comment by userbrn1 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
True. Its AI dept might launch it into the stratosphere sometime.
Viewing a single comment thread. View all comments