Old news
Old news. That's why circa 1970 the "experts" were all agush about AI. Math proofs are deterministic logic; great for computers. I call this the computational falacy. Show me the lab equivalent of fruit fly navigation and avoidance, even at slow speed and I'll say you're credible. Computers and the physical world (aside from Newtonian or Einsteinian math transforms) aren't that compatible.
