The question involved a 10-by-10 table filled ... almost any digital work. But researchers are quick to add that these A.I. systems have limits. Lean code can prove math theorems and verify ...