theorem
theorem.agency
Actively hiring
AI Agents
LLM & Generative AI
Artificial Intelligence
As featured in
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Momentum
15/100
in the news
Last sign of life
1 mo ago
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
2024
Founded
Tractionpublic signals, read monthly
Web presence
top 44%
of 133.2M domains by links, Common Crawl
Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
ConfidentialMind enables organizations to deploy and manage private, production-ready AI services—including LLM, RAG, and agent…
The control plane between your enterprise applications and the compute beneath them. Production AI for enterprises, deployed in weeks.
ZenML is a German company founded in 2020 that maintains an open-source framework for portable machine learning pipelines. Its abstractions…
Build, evaluate, and scale GenAI apps with Arato — the end-to-end platform for structured, reliable, and production-ready LLM development.
Building things.Sharing what I learn.. Travis Fischer. Software, open source, and the occasional detour.
TensorZero builds open-source tools for production-grade LLM applications: LLM gateway, observability, optimization, evaluations, and…
Overview
Build production-ready AI platforms deployed in your cloud. Open-source stack, complete ownership, 8-12 week delivery. No vendor lock-in.
News
Claude formalised Fermat's Last Theorem in 11 days
Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it says it is not new maths.
Read more
Report
A new proof that more than $2/3$ of the zeros of the Riemann zeta function are simple and on the critical line
Abstract page for arXiv paper 2609.02882: A new proof that more than $2/3$ of the zeros of the Riemann zeta function are simple and on the critical line
Read more
Report
Anthropic uses Claude to formalize proof of Fermat's Last Theorem
Anthropic uses Claude to formalize proof of Fermat's Last Theorem - SiliconANGLE
Read more
Report
Anthropic's Claude formalizes Fermat's Last Theorem in 11 days
Anthropic's Claude formalized Fermat's Last Theorem in 11 days. Anthropic has the best AI model by September 2026 at 85.5% YES.
Read more
Report
Claude helps complete first formalized proof of Fermat's Last Theorem
Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29,500 theorems
Read more
Report
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Read more
Report
FLT: Anthropic has beaten me to it
I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m…
Read more
Report
Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
Abstract page for arXiv paper 2608.30945: Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
Read more
Report
Show more news