{"schema_version":"onlylabs.public_signal.v1","title":"OpenAI Repo: openai/math","description":"OpenAI repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf","json_url":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf/signal.json","generated_at":"2026-10-12T19:53:20.058Z","evidence_latest_fetched_at":"2026-10-07T07:03:21.056337+00:00","signal_first_seen_at":"2026-10-07T07:00:47.927351+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/7f63a4c7-e859-444e-9a92-8c036ca4cdcf","signal_json":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf/signal.json","source":"https://github.com/openai/math","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/math (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/math · 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/math","source_host":"github.com","occurred_at":"2026-10-06T21:47:02+00:00","first_seen_at":"2026-10-07T07:00:47.927351+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/math","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"14,192","source":"traction"},{"label":"Watch term","value":"Eval methodology","source":"evidence"}],"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/math"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-10-07T07:03:21.056337+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf/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/7f63a4c7-e859-444e-9a92-8c036ca4cdcf/signal.json","required":true},{"label":"source","url":"https://github.com/openai/math","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/math\" for frontier lab strategy."},"semantic_triples":[{"subject":"OpenAI","predicate":"published repo","object":"openai/math","text":"OpenAI published repo openai/math."},{"subject":"openai/math","predicate":"is classified as","object":"repo signal","text":"openai/math is classified as repo signal."},{"subject":"openai/math","predicate":"belongs to","object":"repos desk","text":"openai/math belongs to repos desk."},{"subject":"openai/math","predicate":"has context","object":"Lean","text":"openai/math has context Lean."},{"subject":"openai/math","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/math has evidence coverage 1 captured evidence page."},{"subject":"openai/math","predicate":"has captured page count","object":"1","text":"openai/math has captured page count 1."},{"subject":"openai/math","predicate":"has readable page count","object":"1","text":"openai/math has readable page count 1."},{"subject":"openai/math","predicate":"has related signal count","object":"6","text":"openai/math has related signal count 6."},{"subject":"openai/math","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/math 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/math","predicate":"has source host","object":"github.com","text":"openai/math has source host github.com."},{"subject":"openai/math","predicate":"has lab","object":"OpenAI","text":"openai/math has lab OpenAI."},{"subject":"openai/math","predicate":"has signal desk","object":"repos","text":"openai/math has signal desk repos."},{"subject":"openai/math","predicate":"has source host","object":"github.com","text":"openai/math has source host github.com."},{"subject":"openai/math","predicate":"has repository","object":"openai/math","text":"openai/math has repository openai/math."},{"subject":"openai/math","predicate":"has language","object":"Lean","text":"openai/math has language Lean."},{"subject":"openai/math","predicate":"has stars","object":"14,192","text":"openai/math has stars 14,192."},{"subject":"openai/math","predicate":"has watch term","object":"Eval methodology","text":"openai/math has watch term Eval methodology."}]},"intelligence":{"signal_desk":"repos","answer":"OpenAI published openai/math (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/math · 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/math","text":"OpenAI published repo openai/math."},{"subject":"openai/math","predicate":"is classified as","object":"repo signal","text":"openai/math is classified as repo signal."},{"subject":"openai/math","predicate":"belongs to","object":"repos desk","text":"openai/math belongs to repos desk."},{"subject":"openai/math","predicate":"has context","object":"Lean","text":"openai/math has context Lean."},{"subject":"openai/math","predicate":"has evidence coverage","object":"1 captured evidence page","text":"openai/math has evidence coverage 1 captured evidence page."}]},"signal":{"id":"7f63a4c7-e859-444e-9a92-8c036ca4cdcf","url":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf","json_url":"https://onlylabs.fyi/signals/7f63a4c7-e859-444e-9a92-8c036ca4cdcf/signal.json","source_url":"https://github.com/openai/math","title":"openai/math","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-10-06T21:47:02+00:00","first_seen_at":"2026-10-07T07:00:47.927351+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/math"]},"facets":{"repo":"openai/math","language":"Lean"},"traction":{"github_stars":14192,"hn_points":42,"hn_comments":0,"hn_story_id":"49984976","hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/openai/math","final_url":"https://github.com/openai/math","title":"openai/math repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-10-07T07:03:21.056337+00:00","bytes":11276,"raw_path":"a209d5dc0c353563a2f9c99ad660fd5c8369f600ba123417ae2b4e08a93ecbad.json","content_hash":"2213def70fb584e32b9bf3abcc6521271769b32c792f9bee44ebeb679a7d8689","excerpt_chars":1200,"truncated":true,"excerpt":"openai/math Language: Lean License: Apache-2.0 Stars: 5033 Forks: 457 Open issues: 0 Created: 2026-10-06T21:47:02Z Pushed: 2026-10-06T22:01:11Z Default branch: main Fork: no Archived: no README: Readme This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model. As part of model development, we evaluate our models on open research problems. We expanded these evaluations after performance on our existing mathematical evaluations saturated. Some outputs build upon earlier results produced by the models. This collection includes results at different stages of verification. Not all have accompanying Lean formalizations. We will continue to update this repository with Lean formalizations as we obtain them. Some of the unformalized results could have issues. We will endeavor to fix any such issues quickly. We are also exploring community-hosted repositories for these materials. Navigating the collection The current catalogue contains 722 manuscripts organized into 372 families. A family groups related papers, which may include a principal result, companion arguments, consequences, or alternative proofs. Each family is classified..."},"evidence_pages":[],"related_signals":[{"id":"9d4a1d55-de3a-48a5-9f8f-b202c79fa2b0","url":"https://onlylabs.fyi/signals/9d4a1d55-de3a-48a5-9f8f-b202c79fa2b0","source_url":"https://github.com/openai/sign-in-with-chatgpt-devkit","title":"openai/sign-in-with-chatgpt-devkit","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-29T01:43:11+00:00","first_seen_at":"2026-09-30T07:00:46.162768+00:00","date_source":"source"},{"id":"9ff83a1b-3db2-452e-9975-17454cc754b9","url":"https://onlylabs.fyi/signals/9ff83a1b-3db2-452e-9975-17454cc754b9","source_url":"https://github.com/openai/mcp-extensions","title":"openai/mcp-extensions","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-29T00:45:42+00:00","first_seen_at":"2026-09-30T07:00:46.162768+00:00","date_source":"source"},{"id":"f4aaed3e-75bb-4b71-b235-d8f2cd8429fa","url":"https://onlylabs.fyi/signals/f4aaed3e-75bb-4b71-b235-d8f2cd8429fa","source_url":"https://github.com/openai/openai-live-console","title":"openai/openai-live-console","context":"TypeScript","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"openai","name":"OpenAI","category":"frontier-lab"},"occurred_at":"2026-09-10T08:33:45+00:00","first_seen_at":"2026-09-29T07:00:46.033968+00:00","date_source":"source"},{"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":"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"}]}