{"schema_version":"onlylabs.public_signal.v1","title":"Google (DeepMind / Gemini) Release: google-deepmind/formal-conjectures bench-v1-lean4.27.0","description":"Google (DeepMind / Gemini) release signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e","json_url":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e/signal.json","generated_at":"2026-06-11T03:46:46.700673+00:00","org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/google-deepmind","dossier_json_url":"https://onlylabs.fyi/labs/google-deepmind/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e","signal_json":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e/signal.json","source":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","lab_dossier":"https://onlylabs.fyi/labs/google-deepmind","lab_dossier_json":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","analysis":"https://onlylabs.fyi/analysis/google-deepmind","analysis_json":"https://onlylabs.fyi/analysis/google-deepmind/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/google-deepmind/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":"https://onlylabs.fyi/topics/releases","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml","data_business":null},"answer_pack":{"answer":"Google (DeepMind / Gemini) published google-deepmind/formal-conjectures bench-v1-lean4.27.0 (google-deepmind/formal-conjectures). This release signal is evidence of what shipped, changed, or was packaged for users. High-signal details: New benchmark from DeepMind for formal conjectures. · bench-v1-lean4.27.0 Repository: google-deepmind/formal-conjectures Tag: bench-v1-lean4.27.0 Published: 2026-05-06T07:42:07Z Prerelease: no Release notes: Category.... onlylabs links this event to 1 captured evidence page and 6 related release signals.","signal_desk":"releases","source_context":{"source_url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","source_host":"github.com","occurred_at":"2026-05-06T07:42:07+00:00","first_seen_at":"2026-06-05T20:05:45.991562+00:00","date_source":"source","context":"google-deepmind/formal-conjectures"},"context_markers":[{"label":"Lab","value":"Google (DeepMind / Gemini)","source":"signal"},{"label":"Signal desk","value":"releases","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"google-deepmind/formal-conjectures","source":"source"},{"label":"Release","value":"bench-v1-lean4.27.0","source":"source"},{"label":"Notability","value":"New benchmark from DeepMind for formal conjectures.","source":"signal"},{"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/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-06-11T03:46:46.700673+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e/signal.json","dossier_json":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/google-deepmind/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/google-deepmind/evidence.json","topic_signals_json":"https://onlylabs.fyi/topics/releases/signals.json","topic_feed":"https://onlylabs.fyi/topics/releases/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","evidence_focus":["model card","release note","version or tag","pipeline tag","license","downloads, likes, stars, and linked papers"],"extraction_questions":["What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Which launches create new eval, data, infra, or deployment needs?","Which shipped signals are missing captured page context?"],"signal_questions":["What changed in this release, and what downstream data or infrastructure need could it create?","What actually shipped, and through which public artifact?","Which releases include inspectable model, repo, paper, or package evidence?","Do the 6 related release signals show a repeated pattern?"],"output_fields":["org","release_type","artifact","traction","data_business_lane","evidence_url"],"data_business_relevance":"Release signals show the hard edge of lab execution and help connect data-business opportunities to concrete model, repo, and deployment changes.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e/signal.json","required":true},{"label":"source","url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/google-deepmind/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/google-deepmind/evidence.json","required":true},{"label":"topic_signals_json","url":"https://onlylabs.fyi/topics/releases/signals.json","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 Google (DeepMind / Gemini)'s release signal \"google-deepmind/formal-conjectures bench-v1-lean4.27.0\" for frontier lab strategy."},"semantic_triples":[{"subject":"Google (DeepMind / Gemini)","predicate":"released","object":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","text":"Google (DeepMind / Gemini) released google-deepmind/formal-conjectures bench-v1-lean4.27.0."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"is classified as","object":"release signal","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 is classified as release signal."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"belongs to","object":"releases desk","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 belongs to releases desk."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has context","object":"google-deepmind/formal-conjectures","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has context google-deepmind/formal-conjectures."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has evidence coverage 1 captured evidence page."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has captured page count","object":"1","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has captured page count 1."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has readable page count","object":"1","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has readable page count 1."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has related signal count","object":"6","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has related signal count 6."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has analysis playbook objective","object":"Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has analysis playbook objective Turn model cards, repository releases, and launch artifacts into a current view of what shipped and what changed.."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has source host","object":"github.com","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has source host github.com."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has lab","object":"Google (DeepMind / Gemini)","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has lab Google (DeepMind / Gemini)."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has signal desk","object":"releases","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has signal desk releases."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has source host","object":"github.com","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has source host github.com."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has repository","object":"google-deepmind/formal-conjectures","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has repository google-deepmind/formal-conjectures."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has release","object":"bench-v1-lean4.27.0","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has release bench-v1-lean4.27.0."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has notability","object":"New benchmark from DeepMind for formal conjectures.","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has notability New benchmark from DeepMind for formal conjectures.."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has watch term","object":"Eval methodology","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has watch term Eval methodology."}]},"intelligence":{"signal_desk":"releases","answer":"Google (DeepMind / Gemini) published google-deepmind/formal-conjectures bench-v1-lean4.27.0 (google-deepmind/formal-conjectures). This release signal is evidence of what shipped, changed, or was packaged for users. High-signal details: New benchmark from DeepMind for formal conjectures. · bench-v1-lean4.27.0 Repository: google-deepmind/formal-conjectures Tag: bench-v1-lean4.27.0 Published: 2026-05-06T07:42:07Z Prerelease: no Release notes: Category.... onlylabs links this event to 1 captured evidence page and 6 related release signals.","semantic_triples":[{"subject":"Google (DeepMind / Gemini)","predicate":"released","object":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","text":"Google (DeepMind / Gemini) released google-deepmind/formal-conjectures bench-v1-lean4.27.0."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"is classified as","object":"release signal","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 is classified as release signal."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"belongs to","object":"releases desk","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 belongs to releases desk."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has context","object":"google-deepmind/formal-conjectures","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has context google-deepmind/formal-conjectures."},{"subject":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","predicate":"has evidence coverage","object":"1 captured evidence page","text":"google-deepmind/formal-conjectures bench-v1-lean4.27.0 has evidence coverage 1 captured evidence page."}]},"signal":{"id":"7715284b-fb01-4603-9131-0a4e0f03a02e","url":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e","json_url":"https://onlylabs.fyi/signals/7715284b-fb01-4603-9131-0a4e0f03a02e/signal.json","source_url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","title":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","summary":"Google (DeepMind / Gemini) published release notes. onlylabs watches releases for what actually shipped.","context":"google-deepmind/formal-conjectures","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-06T07:42:07+00:00","first_seen_at":"2026-06-05T20:05:45.991562+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/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0"]},"facets":{"repo":"google-deepmind/formal-conjectures"},"traction":{"github_stars":null,"hn_points":null,"hn_comments":null,"hn_story_id":null,"hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","final_url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","title":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:46:46.700673+00:00","bytes":2523,"raw_path":"f0aaee862e0e69d00716a071f7ca5d8bf7a067e063ec117ff268b53fefd82072.json","content_hash":"96f3e3647062d3bb6c50e5daa0ab31a3991fcaf198b892cf6c99e52c09acb386","excerpt_chars":1200,"truncated":false,"excerpt":"bench-v1-lean4.27.0 Repository: google-deepmind/formal-conjectures Tag: bench-v1-lean4.27.0 Published: 2026-05-06T07:42:07Z Prerelease: no Release notes: Category breakdown: - `research open` 1029 - `research solved` 836 - `test` 467 - `API` 155 - `textbook` 128"},"evidence_pages":[{"url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","final_url":"https://github.com/google-deepmind/formal-conjectures/releases/tag/bench-v1-lean4.27.0","title":"google-deepmind/formal-conjectures bench-v1-lean4.27.0","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-06-11T03:46:46.700673+00:00","bytes":2523,"raw_path":"f0aaee862e0e69d00716a071f7ca5d8bf7a067e063ec117ff268b53fefd82072.json","content_hash":"96f3e3647062d3bb6c50e5daa0ab31a3991fcaf198b892cf6c99e52c09acb386","excerpt_chars":1200,"truncated":false,"excerpt":"bench-v1-lean4.27.0 Repository: google-deepmind/formal-conjectures Tag: bench-v1-lean4.27.0 Published: 2026-05-06T07:42:07Z Prerelease: no Release notes: Category breakdown: - `research open` 1029 - `research solved` 836 - `test` 467 - `API` 155 - `textbook` 128"}],"related_signals":[{"id":"4b8fac6d-c061-4dd4-b729-7f7ee24537aa","url":"https://onlylabs.fyi/signals/4b8fac6d-c061-4dd4-b729-7f7ee24537aa","source_url":"https://github.com/google-deepmind/alphafold3/releases/tag/v3.0.3","title":"google-deepmind/alphafold3 v3.0.3","context":"google-deepmind/alphafold3","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-09T12:26:50+00:00","first_seen_at":"2026-06-10T07:00:54.73914+00:00","date_source":"source"},{"id":"464373cf-1152-43ad-ad85-dcfb8d7401c5","url":"https://onlylabs.fyi/signals/464373cf-1152-43ad-ad85-dcfb8d7401c5","source_url":"https://github.com/google-deepmind/science-skills/releases/tag/v1.0.4","title":"google-deepmind/science-skills v1.0.4","context":"google-deepmind/science-skills","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-08T18:00:01+00:00","first_seen_at":"2026-06-09T07:00:07.825+00:00","date_source":"source"},{"id":"2f70155a-e140-42c8-993a-9ddde2dba940","url":"https://onlylabs.fyi/signals/2f70155a-e140-42c8-993a-9ddde2dba940","source_url":"https://github.com/google-deepmind/xarray_jax/releases/tag/v0.1.1","title":"google-deepmind/xarray_jax v0.1.1","context":"google-deepmind/xarray_jax","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-08T16:55:04+00:00","first_seen_at":"2026-06-09T07:00:07.825+00:00","date_source":"source"},{"id":"5ee9849d-7783-4dc0-8125-1a76c733e79d","url":"https://onlylabs.fyi/signals/5ee9849d-7783-4dc0-8125-1a76c733e79d","source_url":"https://github.com/google-deepmind/onetwo/releases/tag/v0.5.0","title":"google-deepmind/onetwo v0.5.0","context":"google-deepmind/onetwo","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-02T14:11:21+00:00","first_seen_at":"2026-06-06T01:49:33.266296+00:00","date_source":"source"},{"id":"d008c947-8b4d-42c1-afa4-21c8629ea9e3","url":"https://onlylabs.fyi/signals/d008c947-8b4d-42c1-afa4-21c8629ea9e3","source_url":"https://github.com/google-deepmind/dm_pix/releases/tag/v0.4.5","title":"google-deepmind/dm_pix v0.4.5","context":"google-deepmind/dm_pix","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-06-02T11:30:40+00:00","first_seen_at":"2026-06-06T01:49:33.266296+00:00","date_source":"source"},{"id":"e9fe814a-0ad3-4501-8284-9d7d6512b7d5","url":"https://onlylabs.fyi/signals/e9fe814a-0ad3-4501-8284-9d7d6512b7d5","source_url":"https://github.com/google-deepmind/science-skills/releases/tag/v1.0.2","title":"google-deepmind/science-skills v1.0.2","context":"google-deepmind/science-skills","kind":{"key":"release","label":"Release"},"org":{"slug":"google-deepmind","name":"Google (DeepMind / Gemini)","category":"frontier-lab"},"occurred_at":"2026-05-28T11:10:06+00:00","first_seen_at":"2026-06-05T20:05:45.991562+00:00","date_source":"source"}]}