Google's Peyman Milanfar warns AI terminology is degrading into marketing jargon, prompting a proposal to define terms using Lean 4

AI has a big semantics problem: we’re taking technical concepts, turning them into marketing jargon, and reinserting them in research papers. terms like agentic, token, harness, & hallucination have become meaningless. sooner or later this lack of precision will break things