Ask AI about HIVE-LRC
AI-generated from reviews on this page. Verify anything important with the company directly.
News
No news yet. This is where the business shares its own updates and press.
Photos
No photos yet. Photos shared by reviewers will show up here.
Widgets
Get the widget for your site →About HIVE-LRC
HIVE-LRC is a research project focused on the Lonely Runner Conjecture, a problem in Diophantine approximation concerning runners moving at distinct constant speeds on a circular track. It operates an observatory dashboard that documents each theorem, computational check, correction, and dead end related to the conjecture. The project has independently reproduced the 9-speed instance of the conjecture and is now working on the 13-speed instance (LRC(13), with 14 runners), for which the general case remains open. It also publishes a preprint offering a verifiable human-AI exploration of the conjecture and maintains related materials including LaTeX source and archival synthesis.
- Website
- lamnguyen.work