3+ day, 6+ 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, 20+ 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…...

4+ day, 6+ hour ago   (315+ words) Samsung Electronics opened an AI chip packaging research center in Yokohama on Tuesday, aiming to collaborate more closely with Japanese companies that lead in back-end chipmaking equipment and materials. The move targets faster technological advances in advanced packaging, a key…...

3+ day, 23+ 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, 23+ 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, 11+ 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, 18+ 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....

5+ day, 15+ hour ago   (318+ words) The collaboration launched in late 2025, making Cathay Pacific Google's first commercial airline partner in the Asia-Pacific region, and the first airline globally to apply contrail avoidance technology on ultra-long-haul routes. Michael Yue, Managing Director of Google Hong Kong, said the…...

6+ day, 12+ 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, 3+ 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…...