{"type": "article", "title": "Self-Supervised Theorem Discovery in a Formal Axiomatic System", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/self-supervised-theorem-discovery-in-a-formal-axiomatic-system", "original_source": "https://arxiv.org/abs/2606.28747", "published": "2026-06-30T04:00:00+00:00", "accessed": "2026-06-30", "id": "self-supervised-theorem-discovery-in-a-formal-axiomatic-system"}