Yeah, it might be able to prove things about reality we don't yet know from basic logical principles. If it could do something like start from nothing but basic logic and derive all of observable physics, and then new physics, and then stuff we can't test like panpsychism, without adding any new assumptions, then I wouldn't say I'm 100% convinced, but would be 99.9% convinced.