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

Math AI company

A good quick December 2025 list: x.com/AlexKontorovich/status/1997051032384446629

Ancestors (9)

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