Cryptographic analysis
AssessTechniques
Research technique for finding weaknesses in cryptographic systems.
Why it's here
Placed in Assess: 1 article(s) of evidence from 2 source(s), led by research breakthroughs, with 1 in the last 30 days. Confidence 32%.
Evidence (1)
- 8Simon Willison·8/1/2026breakthroughOpenAI Claims Ten Math Proofs with Astra
OpenAI says an internal version of its next major model, Astra, solved ten long-standing mathematical problems with less than $2,000 in token cost per problem. The work includes Lean 4 formalizations, a paper describing the proofs, and an LLM-generated reconstruction of the reasoning process. The announcement has drawn attention from mathematicians and follows earlier reports of AI systems finding cryptographic weaknesses.