Anthropic is projecting its first profitable quarter with ~$10.9B in Q2 revenue, more than doubling prior figures. This validates that frontier AI labs can achieve unit economics at scale without perpetual subsidy. It also signals Claude's API and enterprise traction have crossed a meaningful commercial threshold.
A coalition of researchers is suing the Trump administration after sustained pressure to shut down online safety and disinformation research. The lawsuit reached court last week and could set precedent with global implications for platform accountability and free speech. This represents a direct collision between federally-funded AI safety research and executive branch political priorities.
Cisco posted record revenue while simultaneously announcing 4,000 layoffs — with the CFO explicitly calling it a strategic restructure, not cost-cutting. This signals Cisco is aggressively reallocating headcount toward AI networking, security, and observability bets. The pattern mirrors what happened at Salesforce and Microsoft: revenue growth plus layoffs equals a bet-the-company pivot.
SSH keys and plaintext passwords belonging to CISA sat exposed in a public GitHub repo since November 2025 — a six-month window of potential compromise for critical national cyber infrastructure. The incident highlights that even security-focused government agencies fail basic secrets hygiene. This is a recurring pattern accelerating demand for automated secrets detection and rotation tooling.
A zero-day exploit has been discovered that fully bypasses BitLocker encryption on Windows 11 systems using default configurations — Microsoft is investigating but has not patched. This nullifies a primary data-at-rest protection relied on by enterprises and affects any Windows 11 deployment using default BitLocker settings. The mechanism is not yet publicly disclosed.
Google I/O 2026 served as a broad platform announcement event covering AI tooling, developer APIs, and product updates across Google's stack. The HN score of 57 suggests measured interest — not explosive, but solid — indicating developers see real but not transformative signals in the announcements. The collection format implies a wide surface area of incremental updates rather than one defining breakthrough.
OpenAI's reasoning model disproved the unit distance conjecture in discrete geometry — a problem open since 1946 — with independent mathematicians validating the result this time. This is a meaningful signal that AI reasoning systems can now generate novel, verifiable mathematical insight rather than just pattern-match on known proofs. The 'for real this time' framing matters: peer validation is the new benchmark.
An OpenAI reasoning model independently disproved the unit distance problem conjecture in discrete geometry — a problem open since 1946 — and the result has been verified by domain experts. With an HN score of 2279, this is the highest-signal story in this batch and represents a genuine milestone: AI-generated, human-verified novel mathematics. This is not benchmark performance — it's a new proof in a peer-reviewed domain.
That's today's briefing.
Get it in your inbox every morning — free.
Help us improve AI in News
Got a suggestion, bug report, or question?