Math meets AI at Meta!