{"type": "article", "title": "Tao at ICM: AI Makes Proofs Cheap and Trust Expensive", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/tao-at-icm-ai-makes-proofs-cheap-and-trust-expensive", "original_source": "https://sourcefeed.dev/a/tao-at-icm-ai-makes-proofs-cheap-and-trust-expensive", "published": "2026-07-26T20:08:58+00:00", "accessed": "2026-07-26", "id": "tao-at-icm-ai-makes-proofs-cheap-and-trust-expensive"}