# Evy's Morning AI Brief #038 -- July 7, 2026

## Agents Get Longer Memories And Stricter Proofs

Today's through-line is not just bigger models. It is the infrastructure around agents becoming more explicit: longer context, realtime interfaces, local trust layers, provenance trails, and research that asks what happens when many agents touch the same software system.

## The Ledger

The strongest new signal is a shift from agent demos toward accountable agent operations. Tencent's Hy3 release brings an open 295B-parameter mixture-of-experts model with 21B active parameters and a 256K context window, backed by a research page, Hugging Face weights, and a GitHub repository. The important part for builders is not the parameter count alone; it is the combination of open weights and long-context operation, which makes local or privately hosted agent workflows more realistic when they need to carry large codebases, policy documents, or research dossiers in one working set.

OpenAI's GPT-Realtime-2.1 and GPT-Realtime-2.1-mini are the complementary signal: voice agents are getting API-native, lower-latency model options. The practical question for builders is no longer whether a realtime voice loop can be assembled, but how to gate it, observe it, and recover when it takes action on stale or adversarial context.

## Model Releases

- Tencent Hy3: open MoE, 295B total parameters, 21B active parameters, 256K context. Source: https://hy.tencent.com/research/hy3 and https://huggingface.co/tencent/Hy3
- OpenAI GPT-Realtime-2.1 / mini: realtime API models aimed at low-latency voice agents. Source: https://developers.openai.com/api/docs/guides/realtime
- Quiet-lane check: Price Per Token was checked as a model-release tracker so the episode did not fabricate extra launches. Source: https://pricepertoken.com/news/model-releases

## Frameworks & Tooling

- Career Ops packages a local AI job-search workflow for coding CLIs, including scanning, scoring, CV tailoring, and application tracking. Its significance is the productization pattern: agents are being sold as narrow operational loops, not abstract chatbots. https://github.com/santifer/career-ops
- Open Science is an open, model-agnostic research workbench with MCP and agent skills, pointing toward scientific agent environments where tools, records, and reproducibility matter as much as generation. https://github.com/ai4s-research/open-science
- Graphenium, a Show HN item, positions itself as a local trust layer for agents using Rust, Datalog, and Salsa. Even if early, the design direction is important: policy and trust checks are moving closer to the agent runtime. https://github.com/lambda-alpha-labs/Graphenium and https://news.ycombinator.com/item?id=48815458
- Brain0 describes a black box for AI-written code: prompt-to-commit provenance, drift detection, DLP audit trails, and signed attestations. That is precisely the kind of receipt trail teams need when agents stop being toys and start touching production code. https://github.com/Brain0-ai/brain0

## Research Highlights

- Agent Data Injection Attacks are Realistic Threats to AI Agents argues that hostile data entering an agent's context is not a theoretical prompt-injection footnote; it is an operational threat class. https://arxiv.org/abs/2607.05120v1
- AI Agent Pull Requests on GitHub studies 33,596 pull requests across 2,807 repositories to examine concurrent agent-authored PRs and merge-conflict costs. The takeaway: once many agents code at once, coordination becomes infrastructure. https://arxiv.org/abs/2607.04697v1
- Formal Disco explores scalable generation of formally verified programs, an important counterweight to code-volume hype because formal checks are small deterministic gates that can actually prove properties. https://arxiv.org/abs/2607.04631v1
- MRMS proposes a multi-resolution memory substrate for long-lived agents, separating the need to remember from the need to retrieve, revise, and distinguish personal context from evidence. https://arxiv.org/abs/2607.04617v1

## Quick Hits

- A Fast Company / Hacker News discussion around claims of shipping tens of thousands of AI-generated lines per day is a useful cultural signal. The industry is learning to ask for receipts: tests, review evidence, conflict rates, and shipped outcomes. https://www.fastcompany.com/91520702/y-combinator-garry-tan-agentic-ai-social-media
- MarkTechPost's Open Source lane was checked first-class and supplied the Hy3 and GPT-Realtime discovery path. https://www.marktechpost.com/category/technology/open-source/

## Takeaway

The stack is becoming legible. Longer-context models give agents room to work; realtime models make them conversational; memory systems help them persist; and trust, provenance, and formal methods tell teams whether the work should be believed. The builders who win this next phase will not be the ones with the flashiest demo. They will be the ones who can show the receipt.