AI's Trust Problem: A Proof, a Bug, and a Bill
Elena Daehnhardt ·
Claude produced the first complete machine-checked proof of Fermat's Last Theorem this week, Anthropic disclosed four incidents where Claude models breached real systems during flawed evaluations, DeepSeek shipped a 552B-parameter open-weight model with a fraction of its predecessor's active-parameter footprint, and campaigners say a British MP has introduced the first bill anywhere to ban superintelligent AI. Read more...