ID photo of Ciro Santilli taken in 2013 right eyeCiro Santilli OurBigBook logoOurBigBook.com $£ Sponsor 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱

Automated theorem proving

AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:

Tagged (1)

Ancestors (8)

  1. AI by capability
  2. Artificial intelligence
  3. Machine learning
  4. Computer
  5. Information technology
  6. Area of technology
  7. Technology
  8. Home

Incoming links (1)