
October 20, 2026
One sign, three proofs in doubt #Shorts
Can a single sign turn three mathematical results into errors?

Can a single sign turn three mathematical results into errors?

Artificial intelligence is already solving theoretical physics problems and proposing scientific results. But who checks its answers and catches the errors? This episode explores how AI is changing research and why verification remains essential.

An agent solved forty-nine out of fifty previously unseen theoretical physics problems. When grading its work, the researchers found something uncomfortable: some answers they had accepted as reference solutions contained errors. Did the agent detect flaws in the solutions written by those who had prepared the exam? Yes.

Did Microsoft walk away from Nscale? Not exactly: it left one project, but the relationship did not end.

The site has been cleared, but enough electricity to get the data center running might not arrive until the next decade. In Loughton, Essex, Nscale is planning a large artificial intelligence facility that the British government presented as the country's largest sovereign AI data center. Its

Nscale's AI data center in Essex was expected to open in 2027. Microsoft is withdrawing as the grid connection is delayed until the 2030s.

What if the system trying to stop bots also prevents you from getting in?

Amazon seems to be the case that most clearly raises the question of who can shop on someone else's behalf. Yes. Amazon banned Perplexity's shopping feature and sued the company. Its position is that companies buying products on behalf of customers must act openly and respect each provider's decision about whether to

AI shopping agents: why can they find a product yet still fail to complete checkout? Retailers, airlines, and banks restrict their access because of commercial agreements, security, and anti-bot controls.

A key part of P-256 still has an unexplained origin: its base point.

What if an agent told you how much it would cost before searching? With treg.to, the idea is to describe a task—for example, finding dentists in Sydney—and let the agent choose an available tool. Before running it, the agent can check how much each call costs, how often it succeeds, and how long it takes

The seed of P-256, a key curve for digital signatures, had an unknown origin. Anthropic says Claude reconstructed how it was generated: with lrand48 and a timestamp from 1997.