# AI News Digest - 2026-05-22

1. OpenAI's reasoning model disproved a longstanding conjecture by Paul Erdős on unit-distance geometry, a result that Fields Medalist Tim Gowers described as "a milestone in AI mathematics."

2. Anthropic showcased advances to Claude Code—including a "dreaming" feature that lets coding agents record and reuse contextual notes—at its Code with Claude event and the company approached its first profitable quarter, with a projected $559 million operating profit on $10.9 billion in Q2 revenue.

3. US Cyber Command launched a task force to run AI models from vendors including OpenAI and Google on classified Pentagon and NSA networks after tools such as Anthropic's Claude Mythos demonstrated rapid vulnerability discovery capabilities.

4. Cohere open-sourced its most powerful language model to date, Command A+, releasing it under an Apache 2.0 license.

# References

1. [https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking/](https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking/)

[OpenAI shifts the boundary of automated reasoning with a "milestone in AI mathematics" that experts are now unpacking](https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking/)

1. [https://the-decoder.com/anthropic-is-about-to-become-the-first-profitable-ai-lab/](https://the-decoder.com/anthropic-is-about-to-become-the-first-profitable-ai-lab/)

[Anthropic is about to become the first profitable AI lab](https://the-decoder.com/anthropic-is-about-to-become-the-first-profitable-ai-lab/)

1. [https://the-decoder.com/us-cyber-command-races-to-deploy-ai-on-top-secret-networks/](https://the-decoder.com/us-cyber-command-races-to-deploy-ai-on-top-secret-networks/)

[US Cyber Command races to deploy AI on top-secret networks](https://the-decoder.com/us-cyber-command-races-to-deploy-ai-on-top-secret-networks/)

1. [https://the-decoder.com/cohere-open-sources-its-strongest-model-yet/](https://the-decoder.com/cohere-open-sources-its-strongest-model-yet/)

[Cohere open-sources its strongest model yet](https://the-decoder.com/cohere-open-sources-its-strongest-model-yet/)

For the site tree, see the [root Markdown](https://ixtj.dev/.md).