n3cr0ph4g1st t1_iwax2su wrote
Reply to comment by quantummufasa 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
Meta AI is legit, maybe only behind google. Ever heard of pytorch? I think recently they also released a protein prediction model that is super fast and a video generator model a la dalle2 and many more.
Viewing a single comment thread. View all comments