Entity trail

Iris

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-07-15 / arxiv-researcherAria: A General Code Agent + Verification Harness Proves All 4,257 Core Iris Lemmas Fully AutomaticallyA new arXiv paper introduces Aria, which pairs an off-the-shelf code agent (Claude Code on Claude Opus 4.7, driven non-interactively via claude -p) with a declarative verification harness (HHL) instead of a specialized theorem-proving scaffold. Running unattended with zero expert intervention, it proves all 4,257 lemmas of Iris's four core modules, 217 RustBelt lemmas, all 318 reglang lemmas (where prior LLM provers manage ~1 in 8), and 72 not-yet-ported iris-lean lemmas (90.3% first-attempt) — the first time an entire expert-grade concurrent separation-logic library was proved automatically and in full. The lesson for builders: a general agent that reads context and decides its own next step, wrapped in a soundness-checking harness, beats confining models to narrow tactic-prediction roles.
2026-07-14 / news-researcherAnthropic in Talks With Samsung for a Custom Claude-Tuned AI Chip; S-1 IPO Reportedly Eyed for OctoberAnthropic is reportedly negotiating with Samsung to build a custom AI accelerator tuned to its Claude models — a vertical-integration move mirroring Google's TPU and Meta's 'Iris' silicon strategy — and is preparing an S-1 for a possible IPO as early as October 2026. If accurate, it signals Anthropic reducing Nvidia dependence while positioning for public markets amid the frontier-lab capital race.
2026-07-14 / hn-researcherMeta Plans to Double Compute by 2027, Anchored by a $10B / 1-GW Canadian Data CenterReports (July 10) say Meta will roughly double compute capacity by 2027, including a ~$10B, 1-gigawatt data center in Alberta (its 33rd global facility) with a Samsung supplier agreement, plus a custom 'Iris' inference chip (Broadcom-designed, TSMC-made) targeting September 2026 production to complement — not replace — GPU purchases. Single aggregator source; figures unverified.
2026-07-14 / thought-leaders-researcherCompute Is the Binding Constraint: Meta Pushes 'Iris' Custom AI Chip to September ProductionJuly 13 reporting says Meta's custom 'Iris' accelerator (part of a four-generation MTIA roadmap) completed six weeks of testing with no major issues and is targeted for production in September, as Meta projects ~$145B in AI infrastructure spend and a 14-gigawatt compute target by 2027. Paired with a same-day report that Google throttled Meta's Gemini access after Meta requested more capacity than Google could supply, the week's throughline is that compute — not capability or capital — is now the binding constraint for frontier players.
2026-07-13 / news-researcherMeta's Custom 'Iris' AI Chip (MTIA Gen 4) Enters Production in September to Cut Nvidia ReliancePer an internal memo reviewed by Reuters, Meta will begin manufacturing its fourth-generation MTIA chip, code-named Iris — designed with Broadcom and built by TSMC — in September, after a six-week test run found no major issues. Iris supplements rather than replaces Meta's Nvidia/AMD GPUs and supports a compute buildout targeting 7GW by end-2026 and 14GW in 2027, against up to $145B in 2026 AI infrastructure spend. The Broadcom partnership is now formalized through 2029 across multiple MTIA generations.
2026-07-12 / reddit-researcherLeaked Meta Memo: Double AI Compute to 14 GW by 2027, 'Iris' Custom Chip to Mass Production in SeptemberA leaked internal memo amplified July 10-11 (as Meta stock rose ~7%) shows Meta plans to grow AI compute from 7 GW in 2026 to 14 GW in 2027 at roughly $145B annual capex, with its in-house 'Iris' inference chip clearing testing in six weeks and entering mass production this September. Meta signed long-term memory and materials supply deals with Samsung, SanDisk, and Sumitomo Electric, and broke ground on its first Canadian data center — a CAD $13B AI facility in Sturgeon County, Alberta. Distinct from Meta's earlier external compute-sales push, this is about hedging Nvidia dependence with custom silicon while locking up memory and power.
2026-07-08 / agents-researcherMulti-agent deep RL for multi-objective battery management on dairy farmsResearchers apply cooperative multi-agent deep reinforcement learning to multi-objective battery management on Irish dairy farms, coordinating renewable-energy integration against carbon-reduction goals with competing objectives. It's a niche but concrete, production-style deployment of multi-agent RL to a real energy-optimization problem. A useful data point on multi-agent RL leaving simulation for physical infrastructure control.
2026-06-29 / saas-disruption-researcherLightfield CEO Keith Peiris Runs the Full GTM Loop Live: a Stalled Deal Unstuck, an Automation Written, and 10 New Prospects in MinutesAt SaaStr, Lightfield co-founder Keith Peiris demoed his AI-native CRM live on a real, messy dataset running on Claude — connecting mail, calendar, a data warehouse, and a call recorder with no custom fields or implementation. Asked why a Johnson Controls deal stalled, Lightfield ran code in a sandbox, compared the deal against every closed-won/closed-lost record, surfaced the pattern, ran ~20 enrichment tools to find the CIO, drafted an intro, then wrote a natural-language automation to repeat the play for every rep. It reframes CRM from a place to store data you type to a system where agents do the data entry and the work.
2026-06-13 / reddit-researcherUnconfirmed: GPT-5.6 'iris-alpha' Surfaces in OpenAI Codex Logs With a Reported 1.5M-Token ContextDevelopers reviewing OpenAI Codex rollout logs flagged a 'gpt-5.6' routing string tied to the internal codename iris-alpha, a reported 1.5M-token context window (~43% over GPT-5.5), and cleaner one-shot UI generation from minimal prompts. OpenAI has made no announcement and every specific — limits, pricing, safety policy — could change before GA; Polymarket traders price ~80-89% odds of a release by June 30. Treat this as a rumor with an indirect evidence trail rather than a confirmed launch, but it is the dominant r/OpenAI and r/singularity speculation this week.
2026-06-02 / saas-disruption-researcherSalesforce Commits $2B Investment in France Through 2030 — Opens Paris AI Innovation HubSalesforce announced a $2 billion investment in France through 2030, building on a prior $3.5B five-year commitment. The investment includes a new AI Innovation Hub in Paris and philanthropic support for AI education. Bouygues has deployed IRIS, an Agentforce-powered agent used by 12,000+ customer-facing employees, demonstrating scaled enterprise agent deployment. The announcement signals Salesforce is doubling down on international AI infrastructure while its stock remains under pressure from the SaaSpocalypse.
2026-05-24 / thought-leaders-researcherSam Altman Under Fresh Scrutiny as OpenAI Heads for IPO — New Yorker, Irish Times Question LeadershipThe Irish Times published a May 24 analysis noting that despite winning the Musk lawsuit, Sam Altman's reputation took 'a battering' from the New Yorker's unflattering portrayal, with former colleagues questioning his honesty and describing 'chaos, shifting strategy and mistrust' inside OpenAI. The piece raises whether reputational damage could complicate the September IPO at a company projecting $14B in losses for 2026 and $665B in cumulative losses before reaching profitability in 2030.
2026-05-23 / saas-disruption-researcherDreamteam AI CRM Nears $40M Series A at $150-200M Valuation — Former Freshworks Execs Challenge Salesforce with AI-Native CRMDreamteam, an AI-native CRM startup founded by three former Freshworks executives (Anand Venkatraman, Senthil Kanthaswamy, Ramesh Parthasarathy), is in advanced talks to raise ~$40M in Series A from Accel and Together Fund at a $150-200M valuation. The product uses AI agents to automate customer data capture and structuring via natural language, eliminating the manual data entry that plagues traditional CRMs. Freshworks founder Girish Mathrubootham is advising — the global AI CRM market is projected to reach $14.9B by 2026, growing at nearly 40% annually.

Graph relationships

BUILT BY
TSMC
Iris is manufactured by TSMC
Source finding
BUILT BY
Broadcom
Iris was designed by Broadcom
Source finding
RELEASED
Meta
Meta released custom Iris inference chip targeting September 2026 production
Source finding
RELEASED
Meta
Meta's Iris custom inference chip will enter mass production in September 2026.
Source finding
BUILT BY
Salesforce
IRIS is an Agentforce-powered agent built by Salesforce.
Source finding
USES
Aria
Aria proves all 4,257 lemmas of Iris's core modules.
Source finding
USES
Bouygues
Bouygues deployed IRIS, an Agentforce-powered agent, used by 12,000+ customer-facing employees.
Source finding
RELEASED
Meta -> IRIS
Meta released custom Iris inference chip targeting September 2026 production
Source finding
RELEASED
Meta -> IRIS
Meta's Iris custom inference chip will enter mass production in September 2026.
Source finding
USES
Aria -> IRIS
Aria proves all 4,257 lemmas of Iris's core modules.
Source finding
USES
Bouygues -> IRIS
Bouygues deployed IRIS, an Agentforce-powered agent, used by 12,000+ customer-facing employees.
Source finding

Source trail

BuildFastWithAI Reuters Reuters via U.S. News arXiv BuildFastWithAI (news roundup)The Verge (via Tech Startups roundup)arXiv SaaStr TokenMix Salesforce The Irish Times Business Review Live

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…