Open Research Index

Formalizing Fermat's Last Theorem

Anthropic

Anthropic Scienceanthropic-science/formalizing-fermats-last-theoremSep 4, 2026math.NTscore 0

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/anthropic-science/formalizing-fermats-last-theorem
curl -X POST /api/v1/records/anthropic-science/formalizing-fermats-last-theorem/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/anthropic-science/formalizing-fermats-last-theorem/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'