iPhone Security Tips

"This iPhone Feature Makes It Much Harder for Thieves to Ruin Your Life"

Rheumatoid Arthritis Update

"Scientists Used Cancer Therapy To Reset Rheumatoid Arthritis". (Via H.R.)

China And AI

"China dismisses AI slowdown calls and blasts 'fearmongering' from U.S. tech leaders". 

Prediction: China will have nothing to do with any proposed "AI pause". US politicians who think we will reach an international agreement on this are deluding themselves.

Damasio On Consciousness

"Does Consciousness Require a Body?"

Taxonomy of Omnicidal Futures Involving AI

Given all the recent drama about "AI will kill us all!", I thought I'd mention this 2025 paper by Critch and Tsimerman laying out a helpful conceptual framework for discussion: "A Taxonomy of Omnicidal Futures Involving Artificial Intelligence"

Potential Versus Actual Infinity

Joel Hamkins: "Potential versus Actual Infinity". Link to the transcript.

Fermat Again

Anthropic: "Formalizing Fermat's Last Theorem"

We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for research mathematics.

High Intensity Exercise Effects

"High-intensity sprints can trigger molecular changes in the bloodstream"

Not So Fast On AI Reading Chest X-rays

"Commercially available chest X-ray AI products fail to improve diagnostic accuracy, real world study shows". 

Link to original academic article, "Artificial Intelligence-Assisted Chest Radiography: A Prospective Crossover Multi-Reader Study on Diagnostic Performance and Workflow Efficiency"