No slop · no ads · daily
Anthropic researchers used Claude to write machine-checked proofs of security properties, at the RISC-V assembly level, for more than 100 real-world open-source libraries. That kind of work used to take years of expert effort per project. Writing the proofs also turned up bugs that had gone unnoticed for years.
Intismeran is built for each patient to match their own tumor. Added to standard post-surgery treatment, it cut the risk of melanoma returning within two years of surgery by 42%, according to results Moderna and Merck released Thursday. The companies are already talking to regulators, and similar personalized vaccines are in trials for lung, kidney and pancreatic cancer.
Jesús Fernández-Villaverde's paper "Saving for the Machines" argues that paying for the AI build-out takes a sharp rise in real interest rates. In his benchmark, the 10-year real yield jumps from 5.1% to 13.6%. Even an AI adopter that starts with debt at 100% of GDP sees it reach 296% by 2040. The bigger worry is bystanders like Spain, which pay the same world rate without the growth.
DeepSeek closed a second round of 106 billion yuan ($15.9 billion), more than double its original 50 billion yuan target, according to The Information. It is one of the largest fundraises ever in China's AI sector.
