quantummufasa t1_iwahpfw 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
> Their AI department is stellar
Really? What else have they achieved? I thought there's was a wannabe team but I guess that wasn't based on anything
n3cr0ph4g1st t1_iwax2su wrote
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