OpenAI touts hundreds of new math results as US official warns of anti-AI ‘psyop’

OpenAI says one of its internal models found the answers to hundreds more unsolved math problems on Wednesday, publishing proofs for the problems in a public GitHub repository. Meanwhile, a new super ...
The Economist

OpenAI claims to have solved hundreds of long-standing maths problems

Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted ...
Security Affairs

Anthropic Mythos Found A Bug in Rejetto HFS. Attackers Are Now Exploiting It.

AI-assisted research uncovered a critical Rejetto HFS flaw that enables auth bypass and remote code execution, now exploited ...
Tech Times on MSN

CVE-2026-61500: Anthropic Mythos finds Rejetto HFS flaw, exploited within one day

CVE-2026-61500 is a critical authentication bypass in Rejetto HTTP File Server, discovered by Anthropic Mythos AI and exploited within 24 hours of public disclosure by a China-linked actor targeting ...

‘The proof in the code’ review: Lean, mean computing machine

The program called Lean was built to detect bugs in Microsoft’s products. It ended up revolutionizing mathematics.