I prefer not to think of AI as being separate from humans because for the foreseeable future it will be a collaboration. The divorce is a long ways off. > theo

I prefer not to think of AI as being separate from humans because for the foreseeable future it will be a collaboration. The divorce is a long ways off. > theorem-proving programs that understand Lean have begun helping some of the world’s greatest mathematicians verify their work It's exciting to think of what break throughs will occur as humans develop even more capable tools. AI's today are very advanced calculators.