# AI News Digest - 2026-07-16

1. OpenAI built GPT-Red, an LLM trained in a self-play "dojo" to attack other models, which identified new prompt-injection techniques (including a "fake chain of thought") and helped reduce successful attacks against its latest GPT-5.6 release; OpenAI did not release GPT-Red publicly.

2. A University of Pennsylvania professor used OpenAI's GPT-5.6 Sol Pro to disprove a long-standing conjecture about the Benjamini–Hochberg method in roughly 90 minutes after GPT-5.5 had failed to find a solution in about 20 hours.

3. Former and current Meta employees sued Meta in a California federal court, alleging the company used AI-driven selection systems to generate layoff lists during a mass reduction that disproportionately targeted employees with disabilities or on parental leave.

4. OpenAI's Codex began encrypting instructions passed between main agents and subagents, which prevented developers from tracking internal task delegation; the encryption was made mandatory for larger GPT-5.6 variants (Sol and Terra).

5. PrismML compressed its Bonsai 27B reasoning model to under 4 GB so it could run on an iPhone, reporting that the smallest version retained about 90% of the original performance and that Apple was testing the compression technology.

# References

1. [https://www.technologyreview.com/2026/07/15/1140514/meet-gpt-red-an-llm-super-hacker-openai-built-to-make-its-models-safer/](https://www.technologyreview.com/2026/07/15/1140514/meet-gpt-red-an-llm-super-hacker-openai-built-to-make-its-models-safer/)

[Meet GPT-Red: an LLM super-hacker OpenAI built to make its models safer](https://www.technologyreview.com/2026/07/15/1140514/meet-gpt-red-an-llm-super-hacker-openai-built-to-make-its-models-safer/)

1. [https://the-decoder.com/gpt-5-6-sol-reportedly-disproves-a-30-year-old-statistics-conjecture-in-90-minutes-after-humans-couldnt-crack-it/](https://the-decoder.com/gpt-5-6-sol-reportedly-disproves-a-30-year-old-statistics-conjecture-in-90-minutes-after-humans-couldnt-crack-it/)

[GPT-5.6 Sol reportedly disproves a 30-year-old statistics conjecture in 90 minutes after humans couldn't crack it](https://the-decoder.com/gpt-5-6-sol-reportedly-disproves-a-30-year-old-statistics-conjecture-in-90-minutes-after-humans-couldnt-crack-it/)

1. [https://the-decoder.com/meta-employees-sue-over-layoffs-they-say-were-driven-by-discriminatory-ai-selection-systems/](https://the-decoder.com/meta-employees-sue-over-layoffs-they-say-were-driven-by-discriminatory-ai-selection-systems/)

[Meta employees sue over layoffs they say were driven by discriminatory AI selection systems](https://the-decoder.com/meta-employees-sue-over-layoffs-they-say-were-driven-by-discriminatory-ai-selection-systems/)

1. [https://the-decoder.com/openais-codex-now-encrypts-instructions-between-ai-agents-leaving-developers-blind-to-internal-delegation/](https://the-decoder.com/openais-codex-now-encrypts-instructions-between-ai-agents-leaving-developers-blind-to-internal-delegation/)

[OpenAI's Codex now encrypts instructions between AI agents, leaving developers blind to internal delegation](https://the-decoder.com/openais-codex-now-encrypts-instructions-between-ai-agents-leaving-developers-blind-to-internal-delegation/)

1. [https://the-decoder.com/bonsai-27b-is-a-full-open-reasoning-model-that-fits-on-an-iphone/](https://the-decoder.com/bonsai-27b-is-a-full-open-reasoning-model-that-fits-on-an-iphone/)

[Bonsai 27B is a full open reasoning model that fits on an iPhone](https://the-decoder.com/bonsai-27b-is-a-full-open-reasoning-model-that-fits-on-an-iphone/)

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