You're listening to Tech Beat, your daily look at the stories shaping our digital world.
Anthropic's AI system Claude has done something that stumped mathematicians for three hundred fifty years. The company says Claude spent eleven days constructing a formal proof of Fermat's Last Theorem, producing thirteen million lines of machine-verifiable code. No human trust required, just logic a computer can check itself. That is a genuinely significant moment for both mathematics and AI capability.
On a very different note, the Pentagon briefly published a new testosterone screening policy this week, then pulled it without explanation. Ars Technica reported the policy appeared and disappeared within hours, leaving no official comment on why. In an era where military medical policy carries enormous human stakes, that kind of quiet reversal raises more questions than it answers.
And for the budget-conscious gamer, a curious piece of hardware is making the rounds. The AMD BC-two fifty is a repurposed Steam Deck chip now available as a standalone board for around sixty dollars. It is not powerful by modern standards, but as a low-cost entry point into PC gaming it represents an interesting trade-off between price and performance.
Keep surfing. Tech Beat out.
