Daily Edition · Page 8

THE DAILY INDEX

Technology, AI, software, security, crypto and business

GENERAL

TLDR

EARLY DATA INDICATES AN AI-GENERATED DRUG COULD SLOW AGING

Rentosertib is a drug created with the assistance of AI. The AI originally indicated that the drug could help treat patients suffering from a chronic lung disease, but data from clinical trials show it could also slow the aging process. The drug reduced the biological markers of age as measured by six 'aging clocks', a different kind of AI technology designed to predict a person's morbidity and mortality. While the drug shows promise, it is still years away from regulatory approval, even for use in sick patients.

HOW WELL DO AGENTS USE TEST/VERIFICATION TECHNIQUES?

It's easier than ever to hit a particular quality bar by having coding agents use effective test techniques. However, software quality seems to be getting worse. This indicates that whatever defaults developers are using might not work very well. This study tests whether simple instructions to agents to use particular techniques or libraries improve implementation correctness. It found that agents tend to either just write the tests they would normally write, but inside a framework for a different type of test technique, or they'll use a technique superficially but not really do the things that get the value out of the technique.

THE YEAR FINDING AND EXPLOITING BUGS BECAME CHEAP, AND WHAT TO DO ABOUT IT

Over the next few years, offensive capability will become abundant. More people will be able to inspect every valuable project and exploit vulnerabilities. Handling critical bugs in a timely manner will become the most challenging and important task for defenders. Having good security infrastructure and integration will be a must. AI-assisted formalization will lower some of the cost, but writing the right specification and connecting proofs to production code will remain challenging.

TLDR IndexPage 8