{"schema_version":"onlylabs.public_signal.v1","title":"OpenAI Repo: openai/LongGapsBetweenPrimes","description":"OpenAI repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe","json_url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe/signal.json","generated_at":"2026-09-09T18:48:21.836Z","evidence_latest_fetched_at":"2026-09-04T07:03:54.669456+00:00","signal_first_seen_at":"2026-09-04T07:01:35.852922+00:00","org":{"slug":"openai","name":"OpenAI","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/openai","dossier_json_url":"https://onlylabs.fyi/labs/openai/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe","signal_json":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe/signal.json","source":"https://github.com/openai/LongGapsBetweenPrimes","lab_dossier":"https://onlylabs.fyi/labs/openai","lab_dossier_json":"https://onlylabs.fyi/labs/openai/dossier.json","analysis":"https://onlylabs.fyi/analysis/openai","analysis_json":"https://onlylabs.fyi/analysis/openai/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/openai/evidence.json","category":"https://onlylabs.fyi/frontier","category_json":"https://onlylabs.fyi/frontier.json","category_feed":"https://onlylabs.fyi/frontier/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","topic":null,"topic_signals_json":null,"topic_feed":null,"data_business":null},"answer_pack":{"answer":"OpenAI published openai/LongGapsBetweenPrimes (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo openai/LongGapsBetweenPrimes · language Lean. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/openai/LongGapsBetweenPrimes","source_host":"github.com","occurred_at":"2026-09-02T18:26:05+00:00","first_seen_at":"2026-09-04T07:01:35.852922+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"OpenAI","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"openai/LongGapsBetweenPrimes","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"37","source":"traction"}],"evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://github.com/openai/LongGapsBetweenPrimes"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-09-04T07:03:54.669456+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe/signal.json","dossier_json":"https://onlylabs.fyi/labs/openai/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/openai/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/openai/evidence.json","topic_signals_json":null,"topic_feed":null,"category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","evidence_focus":["repo name","owner","description","language","stars","source URL","first seen time","data, eval, infra, safety, and product terms"],"extraction_questions":["What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Is the repo new evidence for a lab direction that is not yet in writing or releases?","Which related signals should an analyst inspect next?"],"signal_questions":["What does this new repository reveal before a formal announcement exists?","What technical area does this repository expose?","Does the repo imply eval, data, infrastructure, agent, or deployment work?","Do the 6 related repo signals show a repeated pattern?"],"output_fields":["org","repo","technical_theme","data_business_lane","evidence_url"],"data_business_relevance":"New repositories can expose organization build priorities early, especially around internal tooling, eval infrastructure, data systems, deployment, and agent workflows.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe/signal.json","required":true},{"label":"source","url":"https://github.com/openai/LongGapsBetweenPrimes","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/openai/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/openai/evidence.json","required":true},{"label":"topic_signals_json","url":null,"required":false},{"label":"data_radar_json","url":null,"required":false}],"expected_output":["one-paragraph source-grounded interpretation","category-specific implication","confidence and missing evidence","recommended next source to inspect"],"prompt_seed":"Using only the linked onlylabs JSON, captured source context, and cited evidence, analyze OpenAI's repo signal \"openai/LongGapsBetweenPrimes\" for frontier lab strategy."},"semantic_triples":[{"subject":"OpenAI","predicate":"published repo","object":"openai/LongGapsBetweenPrimes","text":"OpenAI published repo openai/LongGapsBetweenPrimes."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"is classified as","object":"repo signal","text":"openai/LongGapsBetweenPrimes is classified as repo signal."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"belongs to","object":"repos desk","text":"openai/LongGapsBetweenPrimes belongs to repos desk."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has context","object":"Lean","text":"openai/LongGapsBetweenPrimes has context Lean."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/LongGapsBetweenPrimes has evidence coverage 1 captured evidence page."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has captured page count","object":"1","text":"openai/LongGapsBetweenPrimes has captured page count 1."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has readable page count","object":"1","text":"openai/LongGapsBetweenPrimes has readable page count 1."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has related signal count","object":"6","text":"openai/LongGapsBetweenPrimes has related signal count 6."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has analysis playbook objective","object":"Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.","text":"openai/LongGapsBetweenPrimes has analysis playbook objective Turn new repository signals into early evidence of tooling, eval, infrastructure, model-adjacent, or product work before it appears in polished launch channels.."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has source host","object":"github.com","text":"openai/LongGapsBetweenPrimes has source host github.com."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has lab","object":"OpenAI","text":"openai/LongGapsBetweenPrimes has lab OpenAI."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has signal desk","object":"repos","text":"openai/LongGapsBetweenPrimes has signal desk repos."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has source host","object":"github.com","text":"openai/LongGapsBetweenPrimes has source host github.com."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has repository","object":"openai/LongGapsBetweenPrimes","text":"openai/LongGapsBetweenPrimes has repository openai/LongGapsBetweenPrimes."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has language","object":"Lean","text":"openai/LongGapsBetweenPrimes has language Lean."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has stars","object":"37","text":"openai/LongGapsBetweenPrimes has stars 37."}]},"intelligence":{"signal_desk":"repos","answer":"OpenAI published openai/LongGapsBetweenPrimes (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo openai/LongGapsBetweenPrimes · language Lean. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"OpenAI","predicate":"published repo","object":"openai/LongGapsBetweenPrimes","text":"OpenAI published repo openai/LongGapsBetweenPrimes."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"is classified as","object":"repo signal","text":"openai/LongGapsBetweenPrimes is classified as repo signal."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"belongs to","object":"repos desk","text":"openai/LongGapsBetweenPrimes belongs to repos desk."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has context","object":"Lean","text":"openai/LongGapsBetweenPrimes has context Lean."},{"subject":"openai/LongGapsBetweenPrimes","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/LongGapsBetweenPrimes has evidence coverage 1 captured evidence page."}]},"signal":{"id":"9dc96823-19ce-4d8e-9355-6b44614e0cbe","url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe","json_url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe/signal.json","source_url":"https://github.com/openai/LongGapsBetweenPrimes","title":"openai/LongGapsBetweenPrimes","summary":"OpenAI published a new repository. onlylabs watches repos for tooling, eval, infra, and model-adjacent work.","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-02T18:26:05+00:00","first_seen_at":"2026-09-04T07:01:35.852922+00:00","date_source":"source","evidence_coverage":{"target_pages":1,"captured_pages":1,"readable_pages":1,"capture_methods":["plain"],"missing_page_urls":[],"failed_page_urls":[],"blocked_page_urls":[],"page_urls":["https://github.com/openai/LongGapsBetweenPrimes"]},"facets":{"repo":"openai/LongGapsBetweenPrimes","language":"Lean"},"traction":{"github_stars":37,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/openai/LongGapsBetweenPrimes","final_url":"https://github.com/openai/LongGapsBetweenPrimes","title":"openai/LongGapsBetweenPrimes repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-09-04T07:03:54.669456+00:00","bytes":9345,"raw_path":"afab6359607a981bacbeac2685d7ba8f69c681ff31733da3ae1721bcb3006a0e.json","content_hash":"5f62ae3ac0ef7f9185f777f1ed7fc90eaf1bb6348ed636c91dec9bc4ba688898","excerpt_chars":1200,"truncated":true,"excerpt":"openai/LongGapsBetweenPrimes Description: A Lean formalization of a bound concerning long gaps between primes Language: Lean License: Apache-2.0 Stars: 24 Forks: 2 Open issues: 0 Created: 2026-09-02T18:26:05Z Pushed: 2026-09-03T22:45:19Z Default branch: master Fork: no Archived: no README: Improved Long Gaps Between Primes This repository contains a Lean 4 formalization of the results presented in [Improved Long Gaps Between Primes](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf) by OpenAI. - [Read the paper](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf) - [Read the abridged chain of thought](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps_abridged_cot.pdf) Main result We prove that, for all sufficiently large $X$, ```math G(X) \\gg \\frac{\\log\\,X\\,(\\log \\; \\log\\,X)^2\\,\\log \\; \\log \\; \\log \\; \\log\\,X} {(\\log \\; \\log \\; \\log\\,X)^2}, ``` where $G(X)$ is the largest gap between consecutive primes not exceeding $X$. Here, $\\log$ denotes the natural logarithm and $\\gg$ denotes a lower bound up to a positive multiplicative constant independent of $X$. Building the formalization The project uses Lean..."},"evidence_pages":[],"related_signals":[{"id":"7cb55208-cd68-4dd0-a72b-ef613539c149","url":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149","source_url":"https://github.com/openai/NavierStokesAndEuler","title":"openai/NavierStokesAndEuler","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-08T10:53:38+00:00","first_seen_at":"2026-09-09T07:00:44.35941+00:00","date_source":"source"},{"id":"eea7ed25-7360-4fdf-862e-fd6c3521af97","url":"https://onlylabs.fyi/signals/eea7ed25-7360-4fdf-862e-fd6c3521af97","source_url":"https://github.com/openai/PrimeGaps186","title":"openai/PrimeGaps186","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-02T20:53:32+00:00","first_seen_at":"2026-09-04T07:01:35.852922+00:00","date_source":"source"},{"id":"ba8270e7-4afb-4fd9-860f-afcf92796959","url":"https://onlylabs.fyi/signals/ba8270e7-4afb-4fd9-860f-afcf92796959","source_url":"https://github.com/openai/ten-proofs","title":"openai/ten-proofs","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-08-05T21:07:49+00:00","first_seen_at":"2026-08-06T07:00:46.124793+00:00","date_source":"source"},{"id":"3546487c-a09c-4f7a-b9dd-6abaadc6cf24","url":"https://onlylabs.fyi/signals/3546487c-a09c-4f7a-b9dd-6abaadc6cf24","source_url":"https://github.com/openai/ten-proofs","title":"openai/ten-proofs","context":"Lean","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-08-01T06:10:06+00:00","first_seen_at":"2026-08-02T07:01:35.128244+00:00","date_source":"source"},{"id":"15b4df5d-6f2a-48cf-9027-66996ed0ff90","url":"https://onlylabs.fyi/signals/15b4df5d-6f2a-48cf-9027-66996ed0ff90","source_url":"https://github.com/openai/redcard","title":"openai/redcard","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-07-14T17:43:34+00:00","first_seen_at":"2026-07-15T07:00:44.518883+00:00","date_source":"source"},{"id":"7fa6547d-fd43-4acd-87c5-859bb3677999","url":"https://onlylabs.fyi/signals/7fa6547d-fd43-4acd-87c5-859bb3677999","source_url":"https://github.com/openai/codex-security","title":"openai/codex-security","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-07-13T22:00:13+00:00","first_seen_at":"2026-07-28T07:00:44.001308+00:00","date_source":"source"}]}