Daily Edition · Page 10

THE DAILY INDEX

Technology, AI, software, security, crypto and business

GENERAL

TLDR

ANTHROPIC'S CLAUDE FABLE 5.1 AND MYTHOS 5.1 ARRIVE WITH A 75% COST REDUCTION FOR FABLE CACHE READS

Claude Fable 5.1 is now generally available, and Mythos 5.1 is available through restricted-access programs for vetted cybersecurity and life-sciences organizations. Anthropic has reduced the cost of cached context by 75% and introduced a new security architecture designed to let organizations retain monitoring data inside infrastructure they control. Fable 5.1 costs $10 per 1 million input tokens and $50 per million output tokens, but the cached price reduction will make a big difference for price-conscious enterprises.

NEW GOOGLE AI MODEL SAID TO NARROW GAP ON CODING ABILITY

Google is set to release its latest Flash model soon, possibly today. Internal testers are said to prefer the model over Anthropic's Opus model for coding tasks. The Flash model series is designed to be smaller, cheaper, and faster to run, but has lower capability than the largest models. Google has fallen months behind schedule in releasing a new model for its Pro series. The company has been scrapping internal candidates as they haven't been sufficiently better than the Flash series.

PRIVATE GROUP WANTS TO LAUNCH “CHEAPEST POSSIBLE” MISSION TO ALPHA CENTAURI

The Fermi Explorer mission aims to launch a spacecraft carrying a 1kg payload to Alpha Centauri so that it reaches the system in fewer than 80,000 years. It will knock two 'filters' off the Fermi paradox: that species won't want to send spacecraft beyond their home star, or species will find that interstellar transit is too difficult. This would leave only a few options for why our galaxy appears not to be littered with alien civilizations. The team wants to use existing technology to do something cheap and fast and launch by 2029.

A TYPE SYSTEM IS A SEARCH ORACLE

Models tend to output better Rust than C++, and better Lean than either. Programs in Rust compile after being checked for a specific and useful set of properties that the checker cannot be talked out of without writing a lexically visible, greppable admission. C++ compiles carry far less information than in Rust, which means more code will compile even if there are errors. Lean allows for brute force due to its cheap verifier, which is why models are unreasonably good given how little code they have been trained on.

WAYMO GOES ON OFFENSE AHEAD OF TESLA'S CYBERCAB LAUNCH

Waymo says that full autonomous vehicles are not possible without a mix of sensors, and that pure end-to-end AI systems are not safe enough. The company's statements, aimed at Tesla, which is set to launch its Cybercab soon at an event on September 3, kicked off a social media fight over the weekend. The debate between which company's approach to developing autonomous vehicles has been more academic or philosophical than anything for years, but Tesla's imminent launch will see whether the Cybercab is capable of performing at scale. The autonomous vehicle market is estimated to be worth hundreds of billions of dollars.

TLDR IndexPage 10