Andrés Morales

Pangram 4, Pangram Labs’ latest AI-generated text detector, reaches an accuracy that Bryan Cantrill compares to the end of email spam. Cantrill’s essay documents why readers now actively punish those who publish AI-written prose.

Anthropic announced that Claude produced the first computer-verifiable proof of Fermat’s Last Theorem, written in the Lean language. The work, spanning 13 million lines of code, took just 11 days of agents working largely autonomously.

Cerebras updated its inference service documentation with a table of available models and a detailed explanation of its model compression policy: selective per-layer quantization, no architecture pruning in production.

Any Human Ever is a web project that assigns users a fictional but statistically plausible life, chosen at random among the more than 100 billion people who have ever existed. The tool combines historical birth rate and population density data to reconstruct where and when that person might have lived.

ICANN approved destroying the entire third level of .name domains. The move leaves 22,000 holders, including developer Neil Fraser, without email, website, or control of their IoT devices before February.