{"type": "article", "title": "Philip Weiss operates TheoremDB, a shared research memory for math agents", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/philip-weiss-operates-theoremdb-a-shared-research-memory-for-math-agents", "original_source": "https://runtimewire.com/article/philip-weiss-theoremdb-machine-mathematics", "published": "2026-08-09T03:20:00+00:00", "accessed": "2026-08-09", "id": "philip-weiss-operates-theoremdb-a-shared-research-memory-for-math-agents"}