{"schema_version":"onlylabs.public_signal.v1","title":"Anthropic Writing: Formalizing Fermats Last Theorem","description":"Anthropic writing signal with public source context, captured evidence pages, related signals, and data-business radar classification.","url":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f","json_url":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f/signal.json","generated_at":"2026-09-10T00:54:16.263Z","evidence_latest_fetched_at":"2026-09-04T20:03:35.317959+00:00","signal_first_seen_at":"2026-09-04T20:01:39.23762+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/814fdf6c-bb0c-4413-8470-9d40e10a8b0f","signal_json":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f/signal.json","source":"https://www.anthropic.com/research/formalizing-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":"https://onlylabs.fyi/topics/talking","topic_signals_json":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","data_business":null},"answer_pack":{"answer":"Anthropic published Formalizing Fermats Last Theorem. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Notable research post with strong HN traction. · Formalizing Fermat's Last Theorem \\ Anthropic Science Formalizing Fermat's Last Theorem Sep 4, 2026 We are sharing the first complete computer-checked proof of.... onlylabs links this event to 1 captured evidence page and 6 related writing signals.","signal_desk":"talking","source_context":{"source_url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","source_host":"anthropic.com","occurred_at":"2026-09-04T00:00:00.000Z","first_seen_at":"2026-09-04T20:01:39.23762+00:00","date_source":"page.visible_date","context":null},"context_markers":[{"label":"Lab","value":"Anthropic","source":"signal"},{"label":"Signal desk","value":"talking","source":"signal"},{"label":"Source host","value":"anthropic.com","source":"source"},{"label":"Notability","value":"Notable research post with strong HN traction.","source":"signal"},{"label":"HN","value":"Cautiously impressed by AI formalizing Fermat's Last Theorem, with concerns about verification and Lean readability.","source":"source"},{"label":"Watch term","value":"Infrastructure","source":"evidence"},{"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://www.anthropic.com/research/formalizing-fermats-last-theorem"],"related_signals":6,"has_source_url":true,"latest_page_fetched_at":"2026-09-04T20:03:35.317959+00:00"},"data_business":{"matches":false,"lanes":[],"matched_terms":[],"score":null,"reason":null},"agent_handoff":{"signal_json":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f/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":"https://onlylabs.fyi/topics/talking/signals.json","topic_feed":"https://onlylabs.fyi/topics/talking/feed.xml","category_signals_json":"https://onlylabs.fyi/signals.json","data_radar_json":null,"opportunities_json":null},"analysis_playbook":{"objective":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","evidence_focus":["post title","source URL","captured page text","HN traction","linked model or paper references","publication date"],"extraction_questions":["Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Which writing reframes a recent release, model, hiring wave, or policy stance?","Which posts mention data, evals, infrastructure, safety, or deployment workflows?"],"signal_questions":["What public theme, launch framing, or research direction does this writing signal expose?","Which themes are labs choosing to explain publicly?","Which posts are attracting outside discussion?","Do the 6 related writing signals show a repeated pattern?"],"output_fields":["org","theme","public_framing","traction","data_business_lane","evidence_url"],"data_business_relevance":"Public writing supplies the narrative layer over raw signals and helps identify which frontier-lab priorities are becoming externally legible.","required_sources":[{"label":"signal_json","url":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f/signal.json","required":true},{"label":"source","url":"https://www.anthropic.com/research/formalizing-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":"https://onlylabs.fyi/topics/talking/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 Anthropic's writing signal \"Formalizing Fermats Last Theorem\" for frontier lab strategy."},"semantic_triples":[{"subject":"Anthropic","predicate":"published","object":"Formalizing Fermats Last Theorem","text":"Anthropic published Formalizing Fermats Last Theorem."},{"subject":"Formalizing Fermats Last Theorem","predicate":"is classified as","object":"writing signal","text":"Formalizing Fermats Last Theorem is classified as writing signal."},{"subject":"Formalizing Fermats Last Theorem","predicate":"belongs to","object":"talking desk","text":"Formalizing Fermats Last Theorem belongs to talking desk."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has evidence coverage","object":"1 captured evidence page","text":"Formalizing Fermats Last Theorem has evidence coverage 1 captured evidence page."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has captured page count","object":"1","text":"Formalizing Fermats Last Theorem has captured page count 1."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has readable page count","object":"1","text":"Formalizing Fermats Last Theorem has readable page count 1."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has related signal count","object":"6","text":"Formalizing Fermats Last Theorem has related signal count 6."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has analysis playbook objective","object":"Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.","text":"Formalizing Fermats Last Theorem has analysis playbook objective Turn public writing and discussion into a readable map of research themes, product framing, policy posture, launch narratives, and market attention.."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has source host","object":"anthropic.com","text":"Formalizing Fermats Last Theorem has source host anthropic.com."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has lab","object":"Anthropic","text":"Formalizing Fermats Last Theorem has lab Anthropic."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has signal desk","object":"talking","text":"Formalizing Fermats Last Theorem has signal desk talking."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has source host","object":"anthropic.com","text":"Formalizing Fermats Last Theorem has source host anthropic.com."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has notability","object":"Notable research post with strong HN traction.","text":"Formalizing Fermats Last Theorem has notability Notable research post with strong HN traction.."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has hn","object":"Cautiously impressed by AI formalizing Fermat's Last Theorem, with concerns about verification and Lean readability.","text":"Formalizing Fermats Last Theorem has hn Cautiously impressed by AI formalizing Fermat's Last Theorem, with concerns about verification and Lean readability.."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has watch term","object":"Infrastructure","text":"Formalizing Fermats Last Theorem has watch term Infrastructure."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has watch term","object":"Agents and tool use","text":"Formalizing Fermats Last Theorem has watch term Agents and tool use."}]},"intelligence":{"signal_desk":"talking","answer":"Anthropic published Formalizing Fermats Last Theorem. This talking signal gives public context for research themes, product direction, policy, or launch framing. High-signal details: Notable research post with strong HN traction. · Formalizing Fermat's Last Theorem \\ Anthropic Science Formalizing Fermat's Last Theorem Sep 4, 2026 We are sharing the first complete computer-checked proof of.... onlylabs links this event to 1 captured evidence page and 6 related writing signals.","semantic_triples":[{"subject":"Anthropic","predicate":"published","object":"Formalizing Fermats Last Theorem","text":"Anthropic published Formalizing Fermats Last Theorem."},{"subject":"Formalizing Fermats Last Theorem","predicate":"is classified as","object":"writing signal","text":"Formalizing Fermats Last Theorem is classified as writing signal."},{"subject":"Formalizing Fermats Last Theorem","predicate":"belongs to","object":"talking desk","text":"Formalizing Fermats Last Theorem belongs to talking desk."},{"subject":"Formalizing Fermats Last Theorem","predicate":"has evidence coverage","object":"1 captured evidence page","text":"Formalizing Fermats Last Theorem has evidence coverage 1 captured evidence page."}]},"signal":{"id":"814fdf6c-bb0c-4413-8470-9d40e10a8b0f","url":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f","json_url":"https://onlylabs.fyi/signals/814fdf6c-bb0c-4413-8470-9d40e10a8b0f/signal.json","source_url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","title":"Formalizing Fermats Last Theorem","summary":"Anthropic published a writing signal. onlylabs watches public writing for research themes, product direction, and model-launch context.","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-09-04T00:00:00.000Z","first_seen_at":"2026-09-04T20:01:39.23762+00:00","date_source":"page.visible_date","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://www.anthropic.com/research/formalizing-fermats-last-theorem"]},"facets":{},"traction":{"github_stars":null,"hn_points":164,"hn_comments":93,"hn_story_id":"49568506","hf_downloads":null,"hf_likes":null},"data_radar":null},"primary_evidence_page":{"is_primary":true,"source_match":true,"url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","final_url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","title":"Formalizing Fermats Last Theorem","http_status":200,"content_type":"text/html; charset=utf-8","capture_method":"plain","fetched_at":"2026-09-04T20:03:35.317959+00:00","bytes":195162,"raw_path":"e94fc2f0f03f56919cc939f7144edb3c0e89f5cdc2a59702ac4a99ca77e8cddd.html","content_hash":"dea3e25a17b0c28e0d74730a410fba50af87c128b53bf5c2653097a457a56676","excerpt_chars":1200,"truncated":true,"excerpt":"Formalizing Fermat's Last Theorem \\ Anthropic Science Formalizing Fermat's Last Theorem Sep 4, 2026 We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics. Around 1637, Pierre de Fermat jotted down a claim in the margin of his copy of Diophantus’s Arithmetica that would become one of the most famous mathematical conjectures of all time: no positive integers a, b, c satisfy aⁿ + bⁿ = cⁿ for any n > 2. Fermat’s Last Theorem (FLT), as the conjecture became known, turned out to be incredibly difficult to prove. The first proof, from Sir Andrew Wiles in 1995, ran to 129 pages and required months of painstaking work to verify. A decade later, Dutch computer scientist Jan Bergstra proposed “formalizing” Wiles’s proof: converting the mathematical reasoning into a form computers can check automatically. Since then, mathematicians have been developing the methods needed to encode such a complex proof, including a multi-year..."},"evidence_pages":[],"related_signals":[{"id":"f6ee7530-aad8-444f-a772-290b240701ff","url":"https://onlylabs.fyi/signals/f6ee7530-aad8-444f-a772-290b240701ff","source_url":"https://www.anthropic.com/research/property-based-testing","title":"Property Based Testing","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-01-14T00:00:00.000Z","first_seen_at":"2026-06-17T20:00:31.646229+00:00","date_source":"page.visible_date"},{"id":"94184e59-72a9-44a0-bb78-6c9165883bbe","url":"https://onlylabs.fyi/signals/94184e59-72a9-44a0-bb78-6c9165883bbe","source_url":"https://www.anthropic.com/news/introducing-anthropic-labs","title":"Introducing Anthropic Labs","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-01-13T00:00:00.000Z","first_seen_at":"2026-06-09T02:17:26.339488+00:00","date_source":"page.visible_date"},{"id":"557b5559-6aa3-49d4-9dcb-ef0a333f9d24","url":"https://onlylabs.fyi/signals/557b5559-6aa3-49d4-9dcb-ef0a333f9d24","source_url":"https://www.anthropic.com/research/next-generation-constitutional-classifiers","title":"Next Generation Constitutional Classifiers","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-01-09T00:00:00.000Z","first_seen_at":"2026-06-09T02:17:26.339488+00:00","date_source":"page.visible_date"},{"id":"5f0f346c-0718-4d81-a174-d18cae51efa3","url":"https://onlylabs.fyi/signals/5f0f346c-0718-4d81-a174-d18cae51efa3","source_url":"https://www.anthropic.com/research/critical-infrastructure-defense","title":"Critical Infrastructure Defense","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2026-01-08T00:00:00.000Z","first_seen_at":"2026-06-17T20:00:31.646229+00:00","date_source":"page.visible_date"},{"id":"1d970590-34b3-4222-b496-5b69b7bb7869","url":"https://onlylabs.fyi/signals/1d970590-34b3-4222-b496-5b69b7bb7869","source_url":"https://www.anthropic.com/research/bloom","title":"Bloom","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2025-12-19T00:00:00.000Z","first_seen_at":"2026-06-09T02:17:26.339488+00:00","date_source":"page.visible_date"},{"id":"1c14c90a-d8e8-45d2-a32a-bd1c43e00aca","url":"https://onlylabs.fyi/signals/1c14c90a-d8e8-45d2-a32a-bd1c43e00aca","source_url":"https://www.anthropic.com/news/compliance-framework-SB53","title":"Compliance Framework SB53","context":null,"kind":{"key":"post_published","label":"Writing"},"org":{"slug":"anthropic","name":"Anthropic","category":"frontier-lab"},"occurred_at":"2025-12-19T00:00:00.000Z","first_seen_at":"2026-06-09T02:17:26.339488+00:00","date_source":"page.visible_date"}]}