{"schema_version":"onlylabs.public_signal.v1","title":"OpenAI Repo: openai/NavierStokesAndEuler","description":"OpenAI repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149","json_url":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149/signal.json","generated_at":"2026-09-09T18:47:26.133Z","evidence_latest_fetched_at":"2026-09-09T07:02:51.885276+00:00","signal_first_seen_at":"2026-09-09T07:00:44.35941+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/7cb55208-cd68-4dd0-a72b-ef613539c149","signal_json":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149/signal.json","source":"https://github.com/openai/NavierStokesAndEuler","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/NavierStokesAndEuler (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/NavierStokesAndEuler · 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/NavierStokesAndEuler","source_host":"github.com","occurred_at":"2026-09-08T10:53:38+00:00","first_seen_at":"2026-09-09T07:00:44.35941+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/NavierStokesAndEuler","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"1,159","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/NavierStokesAndEuler"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-09-09T07:02:51.885276+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149/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/7cb55208-cd68-4dd0-a72b-ef613539c149/signal.json","required":true},{"label":"source","url":"https://github.com/openai/NavierStokesAndEuler","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/NavierStokesAndEuler\" for frontier lab strategy."},"semantic_triples":[{"subject":"OpenAI","predicate":"published repo","object":"openai/NavierStokesAndEuler","text":"OpenAI published repo openai/NavierStokesAndEuler."},{"subject":"openai/NavierStokesAndEuler","predicate":"is classified as","object":"repo signal","text":"openai/NavierStokesAndEuler is classified as repo signal."},{"subject":"openai/NavierStokesAndEuler","predicate":"belongs to","object":"repos desk","text":"openai/NavierStokesAndEuler belongs to repos desk."},{"subject":"openai/NavierStokesAndEuler","predicate":"has context","object":"Lean","text":"openai/NavierStokesAndEuler has context Lean."},{"subject":"openai/NavierStokesAndEuler","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/NavierStokesAndEuler has evidence coverage 1 captured evidence page."},{"subject":"openai/NavierStokesAndEuler","predicate":"has captured page count","object":"1","text":"openai/NavierStokesAndEuler has captured page count 1."},{"subject":"openai/NavierStokesAndEuler","predicate":"has readable page count","object":"1","text":"openai/NavierStokesAndEuler has readable page count 1."},{"subject":"openai/NavierStokesAndEuler","predicate":"has related signal count","object":"6","text":"openai/NavierStokesAndEuler has related signal count 6."},{"subject":"openai/NavierStokesAndEuler","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/NavierStokesAndEuler 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/NavierStokesAndEuler","predicate":"has source host","object":"github.com","text":"openai/NavierStokesAndEuler has source host github.com."},{"subject":"openai/NavierStokesAndEuler","predicate":"has lab","object":"OpenAI","text":"openai/NavierStokesAndEuler has lab OpenAI."},{"subject":"openai/NavierStokesAndEuler","predicate":"has signal desk","object":"repos","text":"openai/NavierStokesAndEuler has signal desk repos."},{"subject":"openai/NavierStokesAndEuler","predicate":"has source host","object":"github.com","text":"openai/NavierStokesAndEuler has source host github.com."},{"subject":"openai/NavierStokesAndEuler","predicate":"has repository","object":"openai/NavierStokesAndEuler","text":"openai/NavierStokesAndEuler has repository openai/NavierStokesAndEuler."},{"subject":"openai/NavierStokesAndEuler","predicate":"has language","object":"Lean","text":"openai/NavierStokesAndEuler has language Lean."},{"subject":"openai/NavierStokesAndEuler","predicate":"has stars","object":"1,159","text":"openai/NavierStokesAndEuler has stars 1,159."}]},"intelligence":{"signal_desk":"repos","answer":"OpenAI published openai/NavierStokesAndEuler (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/NavierStokesAndEuler · 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/NavierStokesAndEuler","text":"OpenAI published repo openai/NavierStokesAndEuler."},{"subject":"openai/NavierStokesAndEuler","predicate":"is classified as","object":"repo signal","text":"openai/NavierStokesAndEuler is classified as repo signal."},{"subject":"openai/NavierStokesAndEuler","predicate":"belongs to","object":"repos desk","text":"openai/NavierStokesAndEuler belongs to repos desk."},{"subject":"openai/NavierStokesAndEuler","predicate":"has context","object":"Lean","text":"openai/NavierStokesAndEuler has context Lean."},{"subject":"openai/NavierStokesAndEuler","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/NavierStokesAndEuler has evidence coverage 1 captured evidence page."}]},"signal":{"id":"7cb55208-cd68-4dd0-a72b-ef613539c149","url":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149","json_url":"https://onlylabs.fyi/signals/7cb55208-cd68-4dd0-a72b-ef613539c149/signal.json","source_url":"https://github.com/openai/NavierStokesAndEuler","title":"openai/NavierStokesAndEuler","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-08T10:53:38+00:00","first_seen_at":"2026-09-09T07:00:44.35941+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/NavierStokesAndEuler"]},"facets":{"repo":"openai/NavierStokesAndEuler","language":"Lean"},"traction":{"github_stars":1159,"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/NavierStokesAndEuler","final_url":"https://github.com/openai/NavierStokesAndEuler","title":"openai/NavierStokesAndEuler repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-09-09T07:02:51.885276+00:00","bytes":9952,"raw_path":"c0e885e301b00dac3534dc9995f4b9b0f71fca834288f4da7a67c9312ae7c85d.json","content_hash":"053ba62db977f3509af93d14f27786074c5207d4348c2600e4992c480d129ec0","excerpt_chars":1200,"truncated":true,"excerpt":"openai/NavierStokesAndEuler Description: Lean certificates accompanying Navier-Stokes and Euler results Language: Lean License: Apache-2.0 Stars: 1159 Forks: 93 Open issues: 0 Created: 2026-09-08T10:53:38Z Pushed: 2026-09-08T11:00:49Z Default branch: main Fork: no Archived: no README: Finite time blowup for Navier–Stokes and Euler equations This repository contains Lean 4 formalizations of the results presented in “Finite time blowup for Navier–Stokes” and “Finite time blowup for the Euler equation” by OpenAI. Navier Stokes For every positive viscosity, we prove two results: - **Whole space $\\mathbb{R}^3$:** There exist smooth initial data and forcing for which no global smooth solution with uniformly bounded kinetic energy exists. - **Periodic torus $\\mathbb{R}^3/\\mathbb{Z}^3$:** There exist smooth periodic initial data and forcing for which no global smooth solution exists. These are alternatives [**(C)**](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf#page=2) “Breakdown of Navier–Stokes solutions on ℝ³” and [**(D)**](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf#page=2) “Breakdown of Navier–Stokes Solutions on ℝ³/ℤ³” in the Clay..."},"evidence_pages":[],"related_signals":[{"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":"9dc96823-19ce-4d8e-9355-6b44614e0cbe","url":"https://onlylabs.fyi/signals/9dc96823-19ce-4d8e-9355-6b44614e0cbe","source_url":"https://github.com/openai/LongGapsBetweenPrimes","title":"openai/LongGapsBetweenPrimes","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"},{"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"}]}