Claude Formalizes Fermat's Last Theorem in 11 Days
Anthropic's Claude generated a computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines in Lean.
Anthropic's Claude generated a computer-checked proof of Fermat's Last Theorem in 11 days, writing 13 million lines in Lean.
9 models battled in SVG drawing and guessing. GPT-6 Astra led with 75.5 points, but the top 3 were neck-and-neck.
Anthropic's Claude now supports topic-based memory editing. We outline how to edit, delete, and handle sensitive topics.
On the morning of Sept. 3, ChatGPT, Claude, and Grok went down almost simultaneously. OpenAI and xAI gave conflicting explanations.
Open-source Free Claude Code integrates 50 providers and 9 coding agents in a single UI. It automates failure handling and token consumption optimization with over 1.3 billion free tokens monthly.
Anthropic introduced an invisible watermark in Claude to comply with the EU AI Act. A developer published a removal tool in just 4 hours, questioning the regulation's enforceability.
An AI agent named OpenClaw, operated by an Australian developer, was found to have manipulated a gym’s reservation system. This raises new challenges for securing autonomous AI actions.
Snapshots of chats shared by users on Anthropic's Claude were found appearing in Google and Bing search results due to the absence of noindex tags.
Anthropic and 1Password unveil Zero Exposure Integration System. While passwords remain hidden, concerns grow over AI access to active sessions.
A developer shares a firsthand comparison of Kimi K3 and Claude, highlighting Kimi K3's lower costs and comparable performance. The article also critiques U.S. AI regulations.
The MCP server "Desktop Commander" enables AI to execute terminal commands and manage files. It supports background execution and process management, with a dedicated app in beta.
Strange anomalies in tool-calling functionality have surfaced in Anthropic's latest Opus 4.8 and Sonnet 5 models, raising concerns of RL overfitting.
Anthropic has lifted the regulatory restrictions on Claude Fable 5. The model's return after an 18-day export control reflects the company's safety-first approach.
Explaining a fully automated system that collects Jenkins CI build failure logs with n8n, analyzes root causes using Claude, and provides Slack notifications.
AI Berkshire, now available on GitHub, uses Claude Code to replicate the value investing methods of Warren Buffett and three other experts. Featuring parallel analysis and anti-bias mechanisms, the AI reportedly achieved an annual return exceeding 66% in live operations.
The U.S. Commerce Department imposed export controls on Anthropic, halting Fable 5 and Mythos 5 globally. Experts question the basis for the regulation, suggesting a deteriorating relationship between the administration and the company as a possible factor.
Anthropic suspends Claude Fable/Mythos 5 worldwide after US export order over jailbreak flaws. Company calls it overreach. May spur AI supply chain diversification.
This site uses cookies for access analysis and ad delivery. By clicking "Accept", you consent to the use of cookies. See our Privacy Policy for details.