A message to AI companies

Harmonic, Axiom, Math Inc, Axiomatic AI, and others — all companies whose mission includes, in some form, the goal of AI for formalization.