{"schema_version":"onlylabs.public_signal.v1","title":"Anthropic Repo: anthropics/fermats-last-theorem","description":"Anthropic repo signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9","json_url":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9/signal.json","generated_at":"2026-09-09T18:48:47.767Z","evidence_latest_fetched_at":"2026-09-05T07:02:59.588852+00:00","signal_first_seen_at":"2026-09-05T07:00:39.834128+00:00","org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab","category_label":"Frontier lab","dossier_url":"https://onlylabs.fyi/labs/anthropic","dossier_json_url":"https://onlylabs.fyi/labs/anthropic/dossier.json"},"related_urls":{"signal":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9","signal_json":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9/signal.json","source":"https://github.com/anthropics/fermats-last-theorem","lab_dossier":"https://onlylabs.fyi/labs/anthropic","lab_dossier_json":"https://onlylabs.fyi/labs/anthropic/dossier.json","analysis":"https://onlylabs.fyi/analysis/anthropic","analysis_json":"https://onlylabs.fyi/analysis/anthropic/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/anthropic/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":"Anthropic published anthropics/fermats-last-theorem (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo anthropics/fermats-last-theorem · language Lean · Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","signal_desk":"repos","source_context":{"source_url":"https://github.com/anthropics/fermats-last-theorem","source_host":"github.com","occurred_at":"2026-09-04T14:21:04+00:00","first_seen_at":"2026-09-05T07:00:39.834128+00:00","date_source":"source","context":"Lean"},"context_markers":[{"label":"Lab","value":"Anthropic","source":"signal"},{"label":"Signal desk","value":"repos","source":"signal"},{"label":"Source host","value":"github.com","source":"source"},{"label":"Repository","value":"anthropics/fermats-last-theorem","source":"source"},{"label":"Language","value":"Lean","source":"source"},{"label":"Stars","value":"986","source":"traction"},{"label":"HN","value":"Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.","source":"source"},{"label":"Watch term","value":"Agents and tool use","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/anthropics/fermats-last-theorem"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-09-05T07:02:59.588852+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9/signal.json","dossier_json":"https://onlylabs.fyi/labs/anthropic/dossier.json","analysis_json":"https://onlylabs.fyi/analysis/anthropic/analysis.json","analysis_evidence_json":"https://onlylabs.fyi/analysis/anthropic/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/bb04b483-394f-42ca-8209-7aab384208c9/signal.json","required":true},{"label":"source","url":"https://github.com/anthropics/fermats-last-theorem","required":true},{"label":"dossier_json","url":"https://onlylabs.fyi/labs/anthropic/dossier.json","required":true},{"label":"analysis_evidence_json","url":"https://onlylabs.fyi/analysis/anthropic/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 Anthropic's repo signal \"anthropics/fermats-last-theorem\" for frontier lab strategy."},"semantic_triples":[{"subject":"Anthropic","predicate":"published repo","object":"anthropics/fermats-last-theorem","text":"Anthropic published repo anthropics/fermats-last-theorem."},{"subject":"anthropics/fermats-last-theorem","predicate":"is classified as","object":"repo signal","text":"anthropics/fermats-last-theorem is classified as repo signal."},{"subject":"anthropics/fermats-last-theorem","predicate":"belongs to","object":"repos desk","text":"anthropics/fermats-last-theorem belongs to repos desk."},{"subject":"anthropics/fermats-last-theorem","predicate":"has context","object":"Lean","text":"anthropics/fermats-last-theorem has context Lean."},{"subject":"anthropics/fermats-last-theorem","predicate":"has evidence coverage","object":"1 captured evidence page","text":"anthropics/fermats-last-theorem has evidence coverage 1 captured evidence page."},{"subject":"anthropics/fermats-last-theorem","predicate":"has captured page count","object":"1","text":"anthropics/fermats-last-theorem has captured page count 1."},{"subject":"anthropics/fermats-last-theorem","predicate":"has readable page count","object":"1","text":"anthropics/fermats-last-theorem has readable page count 1."},{"subject":"anthropics/fermats-last-theorem","predicate":"has related signal count","object":"6","text":"anthropics/fermats-last-theorem has related signal count 6."},{"subject":"anthropics/fermats-last-theorem","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":"anthropics/fermats-last-theorem 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":"anthropics/fermats-last-theorem","predicate":"has source host","object":"github.com","text":"anthropics/fermats-last-theorem has source host github.com."},{"subject":"anthropics/fermats-last-theorem","predicate":"has lab","object":"Anthropic","text":"anthropics/fermats-last-theorem has lab Anthropic."},{"subject":"anthropics/fermats-last-theorem","predicate":"has signal desk","object":"repos","text":"anthropics/fermats-last-theorem has signal desk repos."},{"subject":"anthropics/fermats-last-theorem","predicate":"has source host","object":"github.com","text":"anthropics/fermats-last-theorem has source host github.com."},{"subject":"anthropics/fermats-last-theorem","predicate":"has repository","object":"anthropics/fermats-last-theorem","text":"anthropics/fermats-last-theorem has repository anthropics/fermats-last-theorem."},{"subject":"anthropics/fermats-last-theorem","predicate":"has language","object":"Lean","text":"anthropics/fermats-last-theorem has language Lean."},{"subject":"anthropics/fermats-last-theorem","predicate":"has stars","object":"986","text":"anthropics/fermats-last-theorem has stars 986."},{"subject":"anthropics/fermats-last-theorem","predicate":"has hn","object":"Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.","text":"anthropics/fermats-last-theorem has hn Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.."},{"subject":"anthropics/fermats-last-theorem","predicate":"has watch term","object":"Agents and tool use","text":"anthropics/fermats-last-theorem has watch term Agents and tool use."}]},"intelligence":{"signal_desk":"repos","answer":"Anthropic published anthropics/fermats-last-theorem (Lean). This repository signal exposes tooling, eval, infrastructure, or model-adjacent work before it may appear in a launch post. High-signal details: repo anthropics/fermats-last-theorem · language Lean · Community impressed by Lean formalization of Fermat's Last Theorem, hopeful for reusable code.. onlylabs links this event to 1 captured evidence page and 6 related repo signals.","semantic_triples":[{"subject":"Anthropic","predicate":"published repo","object":"anthropics/fermats-last-theorem","text":"Anthropic published repo anthropics/fermats-last-theorem."},{"subject":"anthropics/fermats-last-theorem","predicate":"is classified as","object":"repo signal","text":"anthropics/fermats-last-theorem is classified as repo signal."},{"subject":"anthropics/fermats-last-theorem","predicate":"belongs to","object":"repos desk","text":"anthropics/fermats-last-theorem belongs to repos desk."},{"subject":"anthropics/fermats-last-theorem","predicate":"has context","object":"Lean","text":"anthropics/fermats-last-theorem has context Lean."},{"subject":"anthropics/fermats-last-theorem","predicate":"has evidence coverage","object":"1 captured evidence page","text":"anthropics/fermats-last-theorem has evidence coverage 1 captured evidence page."}]},"signal":{"id":"bb04b483-394f-42ca-8209-7aab384208c9","url":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9","json_url":"https://onlylabs.fyi/signals/bb04b483-394f-42ca-8209-7aab384208c9/signal.json","source_url":"https://github.com/anthropics/fermats-last-theorem","title":"anthropics/fermats-last-theorem","summary":"Anthropic 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":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-09-04T14:21:04+00:00","first_seen_at":"2026-09-05T07:00:39.834128+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/anthropics/fermats-last-theorem"]},"facets":{"repo":"anthropics/fermats-last-theorem","language":"Lean"},"traction":{"github_stars":986,"hn_points":95,"hn_comments":19,"hn_story_id":"49568697","hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://github.com/anthropics/fermats-last-theorem","final_url":"https://github.com/anthropics/fermats-last-theorem","title":"anthropics/fermats-last-theorem repository metadata","http_status":200,"content_type":"application/json","capture_method":"plain","fetched_at":"2026-09-05T07:02:59.588852+00:00","bytes":16894,"raw_path":"2b4381bb13faabd5a8999be866444676d71fa5fc1f83b1ee79e67021fabb7cdb.json","content_hash":"8e514e910d1d6d395a1cec7ffd8e79b21e44ec343b5f207a8ce80c9584ff6d5a","excerpt_chars":1200,"truncated":true,"excerpt":"anthropics/fermats-last-theorem Language: Lean License: Apache-2.0 Stars: 461 Forks: 30 Open issues: 1 Created: 2026-09-04T14:21:04Z Pushed: 2026-09-04T14:59:12Z Default branch: main Fork: no Archived: no README: Fermat's Last Theorem in Lean 4 A complete, machine-checked proof of Fermat's Last Theorem in [Lean 4](https://lean-lang.org), built on [Mathlib](https://github.com/leanprover-community/mathlib4) (Lean 4.33.1; Mathlib `v4.33.0`, pinned by commit in `lakefile.lean`). The argument is that of Frey, Serre, Ribet, Wiles and Taylor-Wiles. `PROOF-PATH.md` names each step and the Lean theorem that carries it, and the `html/` folder presents the whole proof as web pages you can browse offline (see \"Reading the proof in a browser\" below). Research artifact. Not maintained and not accepting contributions. The statement `Theorems/Thm_fermat_last_theorem.lean` declares ~~~lean theorem fermat_last_theorem (n : ℕ) (hn : 3 ≤ n) (a b c : ℕ) (ha : 0 flt && cd flt LEAN_NUM_THREADS=96 lake build # one job per hardware thread by default; lower it to bound memory (about 5 GB per job) verification/comparator/run.sh # verdict: last line of .verify-work/wrapper/comparator.log..."},"evidence_pages":[],"related_signals":[{"id":"604712a9-ad7c-4aa5-8cda-82454ad24f42","url":"https://onlylabs.fyi/signals/604712a9-ad7c-4aa5-8cda-82454ad24f42","source_url":"https://github.com/anthropics/commerce-agents","title":"anthropics/commerce-agents","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-09-01T12:30:12+00:00","first_seen_at":"2026-09-03T07:00:42.862119+00:00","date_source":"source"},{"id":"456524e1-6cfd-4237-9ba1-be056d6ae4d8","url":"https://onlylabs.fyi/signals/456524e1-6cfd-4237-9ba1-be056d6ae4d8","source_url":"https://github.com/anthropics/axt-verify","title":"anthropics/axt-verify","context":"Go","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-08-31T22:22:46+00:00","first_seen_at":"2026-09-09T07:00:41.590485+00:00","date_source":"source"},{"id":"642fbb45-c19a-48d7-bb35-2fc3a2114dd1","url":"https://onlylabs.fyi/signals/642fbb45-c19a-48d7-bb35-2fc3a2114dd1","source_url":"https://github.com/anthropics/claude-tag-wif-gateway-sample","title":"anthropics/claude-tag-wif-gateway-sample","context":"Python","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-08-18T13:49:20+00:00","first_seen_at":"2026-08-29T07:01:28.114407+00:00","date_source":"source"},{"id":"f4f53918-22cc-48ed-8029-c6198ddace6b","url":"https://onlylabs.fyi/signals/f4f53918-22cc-48ed-8029-c6198ddace6b","source_url":"https://github.com/anthropics/mockturtle","title":"anthropics/mockturtle","context":"C++","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-08-16T00:07:18+00:00","first_seen_at":"2026-08-16T07:03:11.793493+00:00","date_source":"source"},{"id":"1c27561b-4fba-4bbc-8c12-55adefce2b94","url":"https://onlylabs.fyi/signals/1c27561b-4fba-4bbc-8c12-55adefce2b94","source_url":"https://github.com/anthropics/amulet2","title":"anthropics/amulet2","context":"C++","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-08-15T23:50:25+00:00","first_seen_at":"2026-08-16T07:03:11.793493+00:00","date_source":"source"},{"id":"45696fa3-c795-4e0d-a78f-869df3f5787c","url":"https://onlylabs.fyi/signals/45696fa3-c795-4e0d-a78f-869df3f5787c","source_url":"https://github.com/anthropics/OpenROAD-flow-scripts","title":"anthropics/OpenROAD-flow-scripts","context":"Verilog","kind":{"key":"repo_new","label":"Repo"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-08-12T19:39:48+00:00","first_seen_at":"2026-08-20T07:00:42.364674+00:00","date_source":"source"}]}