Clauday.

Team Math-AI released MathCode, a terminal coding agent with a math formalization engine bolted in. You state a problem in plain language, it turns it into a Lean 4 theorem, and th…

If you've tried to put Codex, Claude Code and Hermes behind one product surface, you know the tax. Each harness has its own session model, its own streaming format, its own file an…

Anthropic keeps a public page of the system prompts behind claude.ai and the mobile apps. It's been there a while, but it hit Hacker News' front page this weekend with 450 points a…

Walter van der Giessen published this Monday and it hit Hacker News' front page in under two hours, which is the correct reaction. His claim is that labs are deliberately trading f…

Somebody finally went and mapped the AI credit resale market, and the writeup hit Hacker News' front page this weekend. Short version: unused OpenAI, Anthropic, Google and Microsof…

Almost every agent memory system consolidates after each turn. The agent says something, the system encodes it, indexes it, files it. LycheeMemory V2, out of a Chinese group led by…

Tao Feng, Jiaxuan You and ten others put out LLMRouter on arXiv on August 7, and it's been sitting near the top of HuggingFace's paper board since. The timing is almost comedic — a…

Reuters got two people close to Anthropic's financials to describe the forecast underwriting its IPO: $190 to $200 billion in revenue, in 2028. As recently as May, the company was …

Bloomberg broke it Saturday: Stripe has finalized a deal to buy OpenRouter for more than $7 billion. Back in May, OpenRouter raised a $113 million Series B at a $1.3 billion valuat…

13.3% to 38.3% on ARC-AGI-3. Same weights, same GPT-5.6 Sol, nothing retrained. OpenAI just let it keep its own reasoning between steps instead of throwing it away, and added conte…