# formalized

Published articles for formalized.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Anthropic Formalized Fermat's Last Theorem in Lean, Shifting the Verification Challenge

DevFeed: [Anthropic Formalized Fermat's Last Theorem in Lean, Shifting the Verification Challenge](<https://devfeed.tech/articles/the-question-was-already-written-40147.md>)

Original publisher: [Read original article](<https://korbonits.com/blog/2026-09-06-the-question-was-already-written/>)

Published: 2026-09-06T00:00:00Z

Content type: opinion

Language: en

Sources: [Alex Korbonits](<https://devfeed.tech/sources/alex-korbonits.md>)

Topics: [Lean](<https://devfeed.tech/topics/lean.md>), [anthropic](<https://devfeed.tech/topics/anthropic.md>), [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>)

Tags: [anthropic](<https://devfeed.tech/tags/anthropic.md>), [compiler](<https://devfeed.tech/tags/compiler.md>), [formalized](<https://devfeed.tech/tags/formalized.md>), [research](<https://devfeed.tech/tags/research.md>), [statement](<https://devfeed.tech/tags/statement.md>), [trust](<https://devfeed.tech/tags/trust.md>)

### AI overview

The article argues that Anthropic's machine-generated Lean proof of Fermat's Last Theorem changes the challenge from formalizing the theorem's statement to checking a very large proof artifact. It describes public build checks and an independent Rust-based Lean kernel re-check, while noting that the author has not read the patches used to complete that re-check.

### Source excerpt

Anthropic formalized Fermat's Last Theorem in Lean in eleven days. It is the frontier I said in May was untouched, and the first result in this series where nobody had to trust the statement. The problem that replaced it is that 13 million lines is more than anyone can read.

## Using Craft CMS as a Headless CMS with the GraphQL API

DevFeed: [Using Craft CMS as a Headless CMS with the GraphQL API](<https://devfeed.tech/articles/using-the-craft-cms-headless-with-the-graphql-api-31317.md>)

Original publisher: [Read original article](<https://nystudio107.com/blog/using-the-craft-cms-graphql-api-on-the-frontend>)

Author: andrew@nystudio107.com (Andrew Welch)

Published: 2020-01-20T05:00:00Z

Content type: tutorial

Language: en

Sources: [nystudio107 | Articles on modern web development.](<https://devfeed.tech/sources/nystudio107-articles-on-modern-web-development.md>)

Topics: [Content Management System](<https://devfeed.tech/topics/cms.md>), [GraphQL](<https://devfeed.tech/topics/graphql.md>), [API](<https://devfeed.tech/topics/api.md>), [Front end](<https://devfeed.tech/topics/frontend.md>), [Self-hosted](<https://devfeed.tech/topics/self-hosted.md>)

Tags: [added](<https://devfeed.tech/tags/added.md>), [api](<https://devfeed.tech/tags/api.md>), [authoring](<https://devfeed.tech/tags/authoring.md>), [cms](<https://devfeed.tech/tags/cms.md>), [craft](<https://devfeed.tech/tags/craft.md>), [formalized](<https://devfeed.tech/tags/formalized.md>), [frontend](<https://devfeed.tech/tags/frontend.md>), [gives](<https://devfeed.tech/tags/gives.md>), [graphql](<https://devfeed.tech/tags/graphql.md>), [headless](<https://devfeed.tech/tags/headless.md>), [here-s](<https://devfeed.tech/tags/here-s.md>), [insights](<https://devfeed.tech/tags/insights.md>), [layer](<https://devfeed.tech/tags/layer.md>), [practical](<https://devfeed.tech/tags/practical.md>), [structured](<https://devfeed.tech/tags/structured.md>), [website](<https://devfeed.tech/tags/website.md>)

### AI overview

This tutorial explains how to use Craft CMS as a headless CMS through its GraphQL API. It discusses the API's structured data access, its use with separate frontends, and the distinction between Craft CMS's first-party implementation and the CraftQL plugin.

### Source excerpt

Craft CMS 3.3 added a GraphQL layer that gives your website a formalized, structured API out of the box. Here's how to use GraphQL + Craft CMS as a "headless" CMS