Jacob Tsimerman shifts from number theory to foundations of artificial intelligence | Raisolo