3+ day, 4+ hour ago   (391+ words) Charles Hoskinson, the founder of the Cardano blockchain, said artificial intelligence has advanced in mathematical reasoning far faster than he anticipated, with large language models now capable of producing and formally verifying proofs that were once considered beyond the reach…...

3+ day, 18+ hour ago   (647+ words) The sequence of events, according to Nathan Labenz and Prakash Sundaresan speaking on The Cognitive Revolution, exposes what they see as the defining problem now facing the frontier AI ecosystem: not technical capability — which is advancing at a pace that…...

3+ day, 21+ hour ago   (703+ words) Google DeepMind has released a massive database that catalogs the predicted molecular effects of every possible single-letter change in the human genome, a resource the company says could dramatically accelerate the search for genetic causes of rare diseases and deepen…...

3+ day, 21+ hour ago   (863+ words) OpenAI announced that an unreleased AI model solved the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems, in 88 hours using up to 10,000 AI agents. The company said the effort cost millions of dollars in computing power and…...

4+ day, 9+ hour ago   (263+ words) OpenAI mathematicians discuss how AI models like GPT-5 and Astra assist in mathematical research, demonstrating that AI can excel in detailed reasoning and problem persistence, and Astra's proofs in sphere packing and non-sofic groups highlight AI's potential to make significant…...

4+ day, 16+ hour ago   (347+ words) AI drug development company Insilico Medicine announced on the 7th (local time) that analysis of clinical trial data for its drug candidate rentosertib confirmed these effects. The research findings were published in the latest issue of the international journal Nature Biotechnology....

6+ day, 10+ hour ago   (892+ words) "There's no dead end. Just let people do what they want. If it's not going to work out, they'll figure it out and they'll stop." — Brienne Barker The E-value of 1.42 is the study's main weakness. Racaniello explains: "An E-value of…...

6+ day, 1+ hour ago   (940+ words) Alibaba DAMO Academy and Shengjing Hospital of China Medical University jointly developed DAMO LiON, a liver cancer diagnostic AI model that analyzed contrast-enhanced CT scans from over 10,000 patients during a two-month prospective clinical trial, successfully identifying 15 liver metastasis lesions that…...

6+ day, 1+ hour ago   (912+ words) The paper represents more than a technical milestone. It reframes what AI can do in biology: not just analyze sequences, but write them. And it forces a conversation that spans therapeutic promise, biosafety, and the uncomfortable question of whether the…...

6+ day, 1+ hour ago   (857+ words) A viral social media post claiming Anthropic's Claude AI has solved the Navier-Stokes Millennium Prize problem has drawn over 2.5 million views, though no proof or review materials have appeared publicly. The Clay Mathematics Institute still lists the problem as unsolved....