Why it matters
Public tasks and outcomes make this research workspace worth following. The verification procedure needs a fuller read before its dashboard claims can support comparisons.
For Mathematics researchers, Scientific-agent builders.
Sources & further reading
Web · official
LemmaPark ↗
Public task/result dashboard read. Its reported verified-result counts are laboratory claims, not independent reproductions.
Hedgy Labs · page checked 2026-10-16
More sources reviewed (1)
Hacker News · discussion
Show HN new projects ↗
Thirty visible launch titles read; two unfamiliar research-lab projects received primary follow-up.
Hacker News · page checked 2026-10-16
Coverage note: Public home page and discovery feed were readable; the linked method page failed. No independent video, discussion or reproduction was established.
The record over time (1)
Dated source checks and published explanations. An observation date can differ from the original release date.
LemmaPark is Hedgy Labs’ public mathematics workspace, with tasks, results and a dashboard of claims marked as verified. Researchers can inspect how an agent’s attempt becomes a recorded result. The page checked October 16 reported 69 verified results, no new records and one matched bound; these are the lab’s own classifications. The public dashboard was read. Its detailed how-it-works page was unavailable, and no result was reproduced.