Topics

Google DeepMind's AlphaProof Code used teams of AI agents, checked by the Lean proof system, to mathematically prove key security properties of Signal's encryption code in four weeks.

An automated biology laboratory coordinates more than 20 instrument types, executes parallel protocols and stores digital information in DNA, while people handle maintenance.

Using artificial intelligence and supercomputers, researchers have found overlooked MXene materials in old databases and created new ones with a faster, cleaner method.

Researchers have developed NONOS, a deep learning tool that separates rhythmic brain activity from background signals without losing time detail. It can be used for Parkinson's disease monitoring and could improve personalized deep brain stimulation therapy.

Ohio State researchers built an AI assistant that studies lunar data, judges possible landing sites, and explains its reasoning to the people planning future missions.

Harvard researchers identified SRSF1, an RNA splicing factor, as a geroprotective target that reverses multiple hallmarks of aging in human cells and extends median lifespan by 14% in mice. The study demonstrates a safer alternative to Yamanaka factor reprogramming by rejuvenating cells without erasing their identity.

AI is already helping to save energy and water, cut emissions and make businesses more efficient in agriculture, data centers, the energy industry, building heating and cooling, and aviation.

I’ve been experimenting with vibe coding, math and physics with the artificial intelligence (AI) assistance from Grok. I find the topics that we're exploring very interesting, but that alone wouldn't make me dedicate too much time and effort to this project (I'm not detail-oriented). Rather, I want to test the performance of today's AI on things that I know well enough.