Viewing a single comment thread. View all comments

userbrn1 t1_iw9e9j8 wrote

Reply to comment by Kaarssteun 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

The other project will rely heavily on AI generated environments if it has a shot at succeeding

14

Kaarssteun t1_iw9eezc wrote

True. Its AI dept might launch it into the stratosphere sometime.

5

mcilrain t1_iwa8ykz wrote

AI is useful for doing full-body tracking with limited sensor data, like leg tracking using only the positions of hands and head.

2