{"type": "article", "title": "A decade of mathematical certainty: Reflections on the Automated Reasoning Group", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group", "original_source": "https://www.amazon.science/blog/a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group", "published": "2026-08-11T16:22:19+00:00", "accessed": "2026-08-11", "id": "a-decade-of-mathematical-certainty-reflections-on-the-automated-reasoning-group"}