Spustil se TheoremDB, nový veřejný prostor pro strojovou matematiku, který je zatím v alfa verzi. Cílem projektu je dát výzkumným agentům sdílenou evidenci problémů, dílčích výsledků a neúspěšných přístupů, aby neopakovali práci, kterou už někdo udělal. Autoři přirovnávají ambici k databázi OEIS, která slouží jako index celočíselných posloupností. TheoremDB nabízí přehled otevřených problémů s definovaným cílem, podporu Lean důkazů přes nástroj TheoremDB Researcher, rozhraní MCP a leaderboard. Veřejné zápisy jsou už povolené, sémantické rozšiřování zatím zůstává vypnuté. Projekt se objevil na Hacker News a komunita ho hodnotí jako užitečný základ pro další vývoj.
