Cryptographic primitives, formal proofs, and protocol research.
Almost every health system has an AI success story that never left the department it started in. The results were good enough to present at board level... and then nothing happened.