Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Spaces:

adamm-hf
/

P-NP

Paused

App Files Files Community

Fetching metadata from the HF Docker repository...

P-NP / seed

671 kB

Ctrl+K

Ctrl+K

1 contributor

History: 9 commits

adamm-hf's picture

adamm-hf HF Staff

2.0 fable 5.1 max simplification

f24c7be verified 23 days ago

brain
1.9 (need to fix startup speed) about 1 month ago
docs
2.0 fable 5.1 max simplification 23 days ago
imports
v1.12 turns the lab from a claim-centric research loop into a **theorem-graph system that tracks exact proof obligations, evidence, dependencies, counterexamples, and bottlenecks—and automatically directs stronger models and research budget toward the unresolved steps with the highest mathematical leverage. about 1 month ago
current_frontier.md

1.66 kB
1.9 (need to fix startup speed) about 1 month ago
killed.json
4.4 kB
2.0 fable 5.1 max simplification 23 days ago
problems.json
16.5 kB
2.0 fable 5.1 max simplification 23 days ago
register.json
10.6 kB
2.0 fable 5.1 max simplification 23 days ago
scoreboard.json
2.79 kB
2.0 fable 5.1 max simplification 23 days ago