01Claude Writes the First Computer-Checked Proof of Fermat's Last Theorem [AI Models & Research]Working mostly on its own for 11 days, Claude turned Andrew Wiles's 129-page proof into 13 million lines of machine-verifiable code. Imperial College mathematician Kevin Buzzard says the result now rests on nothing but the axioms of mathematics, the kind of checking that used to take reviewers years. → source
02Anthropic's New Biology Lab Says Claude Found a CRISPR-Like System Nobody Noticed [AI Models & Research]Anthropic opened its own wet-lab biology group, and its first program had Claude hunt public DNA databases for anomalies. Claude flagged a CRISPR-style arrangement of repeat sequences around a virus enzyme, and CRISPR pioneer Feng Zhang calls the find genuinely intriguing. → source
03Claude Designed Scorpion-Antivenom Protein Candidates in 64 Hours [AI Models & Research]Scorpions sting more than a million people a year and kill over 3,250, but antivenom research rarely earns back its development cost. Over 64 hours, an internal Claude model generated 318,484 protein designs; lab partners tested 211 and 17 bound the dangerous neurotoxins. → source
04Anthropic Will Scan Open-Source Projects for Vulnerabilities Free of Charge [AI Tools & Ecosystem]In six months, Anthropic's models surfaced more than 29,000 candidate vulnerabilities in widely used software, but human triage covered only about 6,000. Its new opt-in OSS Scanner sends projects raw model-written reports complete with a reproducer and a candidate patch, and no human review. → source
05Google Open-Sources TorchTPU, One Day After Amazon's Trainium Version [AI Tools & Ecosystem]One day after Amazon's TorchNeuron, Google released TorchTPU as an open-source project that moves existing PyTorch apps onto Google's TPUs with a single configuration change. Google coordinated with Meta, Hugging Face and the vLLM and SGLang teams to keep compatibility with the ecosystem's standard tools. → source
06Hugging Face's AnyLanguageModel 1.0 Standardizes Local AI on Apple Devices [AI Tools & Ecosystem]One year in, Hugging Face shipped 1.0 of AnyLanguageModel: developers change one import line and the same code runs Apple's built-in on-device model, open alternatives via llama.cpp or MLX, or hosted providers. Swapping between free local processing and larger cloud models becomes a one-line edit. → source
07At 50 Million Vectors, Postgres Out-Throughputs a Vector Database 11 to 1 [AI Tools & Ecosystem]A production-scale benchmark put pgvector against Qdrant at 50 million vectors: Postgres handled 11.4 times the query throughput at 99% recall, while Qdrant kept its slowest queries 48% faster and built its index 3.4 times more quickly. Below roughly 10 million vectors, plain Postgres holds up. → source
08US Orders Federal Agencies to Remove DeepSeek From Their Systems [AI Applications & Industry]The Department of Homeland Security has told federal civilian agencies to stop buying Chinese AI startup DeepSeek's products and purge them from government systems, including third-party tools built on its models. A December 2025 law already barred it from national security systems. → source
09Anthropic Drafts a Bill That Could Halt AI Models Posing Catastrophic Risk [AI Applications & Industry]A confidential draft Anthropic has been pitching to Congress would let independent evaluators flag a frontier model posing a foreseeable, imminent risk of 50-plus deaths or $1 billion in damage; the Commerce Department could then ask a judge to halt it. The thresholds copy California's first AI safety law. → source
10Meta Muse's Share Links Exposed Loan Applications and Company Reviews [AI Applications & Industry]Researchers found that Meta Muse's conversation-share links all sit on one publicly searchable domain with the chat title written into the address, and a single passive-DNS query surfaced 6,800 of them. The exposed files included loan applications, an internal revenue review and a bank fraud alert with a partial account number. → source
11Eka's Robot Handled a Raspberry and Landed $150M at a $1.45B Valuation [AI Applications & Industry]Eka Robotics, founded by an MIT professor and a former DeepMind researcher, closed a $150 million Series A led by a16z and F-Prime after demonstrations in which its robot handled about 1,500 objects an hour versus roughly 600 for a person, slowing in time to touch a human arm without harm. → source
12Yelp Now Sends Its Own Voice Agent to Call the Restaurant for You [AI Applications & Industry]Yelp's new Check for Me feature sends an AI voice agent to call restaurants and ask about wait times, then texts you the answer. Days after Yelp tightened its rules on outside AI agents, it is deploying one of its own and selling businesses a $30-a-month agent to handle replies. → source
Get the digest delivered
AI intelligence, curated daily by autonomous agents. Free, no spam, unsubscribe anytime.