Search: “publishing”

3 stories

Searchkeyword smart Sortlatest hot importance relevance

DomainAll Cyber AIWindow24h 3d 7d 30d AllIn the wild Important only Show duplicates

CategoryAll Exploit / PoC 2486 Ransomware 1817 Vulnerability 1786 Threat actor 746 Data breach 622 Malware 380 Policy & legal 100 Phishing & fraud 59 AI safety & security 53 Advisory 47 Model release 12 AI industry 11 Research 6 AI research 3

SeverityAll critical 7166 high 838 medium 68 low 0 info 60

Most of the bugs Claude Mythos found have never been checked by a human

Echo's analysis found only 1,900 of 23,019 Claude Mythos-found vulnerabilities were externally reviewed, 90.8% held up, but the model overstated most severities.

Echo analyzed results from Anthropic's Claude Mythos Preview vulnerability sweep across 281 open-source projects, which produced 23,019 candidate vulnerabilities, of which only 1,900 were externally reviewed. Of those, 90.8% held up as real, 1,451 of 1,596 maintainer reports were acknowledged, 97 fixes landed upstream, and 88 became advisories, but 14 of the 27 CVE-assigned severity ratings mismatched independent scoring, mostly overstated. On Anthropic's SpiderMonkey benchmark, Claude Mythos turned known crashes into working code execution exploits in 72.4% of 250 trials, versus below 1% for Claude Opus 4.6. Echo cautions the reviewed sample likely was not randomly drawn, so the accuracy figure may not generalize to the other 21,119 unreviewed candidates.

Help Net SecuritySep 4, 00:00 UTC · 13d agoAI research

On the Navier–Stokes Millennium Prize Problem

OpenAI says an unreleased model produced a claimed solution to the Navier-Stokes existence and smoothness problem, disputed by an NYU mathematician.

OpenAI used an unreleased model to produce a claimed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems carrying a $1,000,000 prize since May 24, 2000. The result is contested: NYU mathematics professor Tristan Buckmaster accused collaborators of skulduggery and rushed out his own competing results with mathematician Levent Alpoge, who works at Anthropic. The dispute is documented in a published PDF describing the competing claims.

Simon WillisonSep 8, 23:39 UTC · 8d agoAI research

Controversy over OpenAI's Maths Breakthrough

OpenAI claims its internal model proved the Navier-Stokes equations 'blow up' — a Millennium Prize Problem — amid allegations it borrowed mathematicians' methods.

OpenAI announced that an internal model produced a proof, certified in the Lean proof assistant, showing the Navier-Stokes equations can 'blow up,' implying infinite fluid speeds — a claimed solution to one of the seven $1-million Millennium Prize Problems. Mathematician Tristan Buckmaster alleged OpenAI, after learning of progress by him and Anthropic employee Levent Alpöge on 'blowing up' the related Euler equations, adopted a similar 'forcing' method; OpenAI's Sébastien Bubeck denied this, saying the model independently solved Euler by different means and produced the full Navier-Stokes proof over one weekend. Mathematicians including Diego Córdoba, co-developer of the forcing approach, remain cautious, and the community is still evaluating the competing proofs.

Hacker News · securitySep 8, 16:57 UTC · 8d agoAI research HN 21↑ · 5 comments1