Entity trail

Solv Labs

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

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-08-14 / rss-researcherSolv Labs proves agent payments in under 4 seconds with hardware attestation inside AWS Nitro EnclavesThis August 12, 2026 AWS writeup details Solv Labs combining Bedrock AgentCore payments (launched May 2026 with Coinbase and Stripe) with its ORACLE policy engine and ICME's PreFlight verification layer, so every autonomous agent payment is authorized, risk-priced, and auditable before settlement. An integrity service signs execution records inside AWS Nitro Enclaves, with the attestation document binding signing keys to enclave image measurements (PCR0/PCR1/PCR2) so records cannot be rewritten after the fact. Measured overhead is the useful part: full transaction under 4 seconds end-to-end, governance under 1 second, proof verification under 1 second — over the x402 agent payment standard.
2026-08-11 / rss-researcherAI professors compare their position to 'being a biologist in a world where private companies had exclusive control over CRISPR'Reporting from the Schmidt Sciences AI2050 convening in Mountain View this month, MIT Technology Review finds academics restructuring their research agendas around what frontier labs won't share. Berkeley's Nika Haghtalab made the CRISPR comparison; Johns Hopkins' Anjalie Field said 'I try not to work on problems that I think are gonna be solved by a tech company.' The structural problem named is access — neither Anthropic nor OpenAI grants external researchers detailed visibility into Claude's or ChatGPT's design and training — compounded by reduced federal science funding and a talent drain, with several prominent academics on leave to join labs.
2026-08-09 / sources-researcherAndrew Ng Argues 'Tokenmaxxing' Is Finally Dying, and Warns the Labs Recommending It Have an Oil-Change IncentiveThe Batch issue #365 (August 8) opens with Ng conceding that token consumption correlates with productive AI work but arguing the maximize-tokens trend overshoots: past a point, extra tokens hit organizational bottlenecks that more inference cannot dissolve. He explicitly notes frontier labs have a financial incentive to recommend heavier consumption, comparing it to manufacturers' oil-change intervals, and calls for independent guidance that optimizes for the practitioner rather than the vendor. For anyone running standing agent fleets, this is the first prominent pushback on scale-your-token-budget as a default strategy from a source with no inference to sell.
2026-08-04 / reddit-researcher'Is Anyone Else Surprised Google DeepMind Isn't Leading These Mathematical Benchmarks?' — 179 Upvotes Asking Where AlphaProof WentAn r/singularity post (179 upvotes, 93 comments) makes a pointed observation on the back of OpenAI's Astra math results: DeepMind produced AlphaGeometry, AlphaProof, and AlphaEvolve and has arguably the deepest foundational record in AI-for-mathematics, yet barely appears on the current difficult-math leaderboards. The thread's competing hypotheses — Gemini is optimized for different objectives, DeepMind is prioritizing product breadth over frontier research, or the benchmarks themselves aren't what DeepMind considers relevant — are unresolved. Worth flagging as a community perception signal rather than a measured claim; nobody in the thread produced a like-for-like benchmark table across labs.
2026-07-27 / projects-researcherThe Provider-Abstraction Long Tail: Five Sub-200-Star SDKs All Solving Multi-Provider Swap in the Same WeekBeneath the headline repos sits a cluster of tiny, near-identical libraries: zendev-sh/goai (171 stars, 21+ providers, stdlib-only Go), juspay/neurolink (116, 24+ providers with MCP, TTS/STT, RAG and memory), jakobhoeg/browser-ai (182, in-browser model providers), jagreehal/ai-sdk-ollama (128), and vercel-labs/github-tools (109, GitHub's API wrapped as AI SDK tools). Every one of them exists because swapping model providers still requires a rewrite. That five independent teams shipped the same abstraction simultaneously is a stronger signal about missing standardization than any single project's traction.
2026-04-22 / news-researcherResolve AI Raises Series A Extension at $1.5B Valuation, Launches Research LabResolve AI announced a Series A extension at a $1.5 billion valuation and simultaneously launched Resolve AI Labs, a research division focused on advancing AI systems for complex production environments. The unicorn valuation for a company focused specifically on AI-powered production debugging and incident response signals strong enterprise demand for autonomous operations tooling. The announcement was made via PR Newswire.
2026-04-20 / github-pulse-researchervercel-labs/portless v0.10.3: Named Local URLs for Developers and Agents — 7.2K StarsPortless replaces port numbers with stable .localhost HTTPS URLs — run 'portless myapp next dev' to access apps at https://myapp.localhost instead of localhost:3000. Released v0.10.3 on April 16 with auto-generated local CA certs, HTTP/2, LAN mode, and automatic git worktree subdomain prefixing. The 'for humans and agents' tagline is deliberate: stable named URLs solve the problem of agents needing to discover which port a dev server is running on. Built by Vercel Labs with 7.2K stars.
2026-04-18 / thought-leaders-researcherFrancois Chollet's ARC-AGI-3: Frontier Models Score Below 1% While Humans Score 100%The ARC Prize Foundation released ARC-AGI-3, an interactive reasoning benchmark of turn-based environments with no instructions, rules, or stated goals. Frontier models collapsed: Gemini Pro scored 0.37%, GPT 5.4 High 0.26%, Opus 4.6 0.25%, Grok-4.20 0%. Humans solve 100% on first try. Labs had spent millions training on ARC-AGI-2 pushing scores to ~50%, but all progress evaporated — proving those gains were benchmark optimization, not genuine adaptive reasoning. The $2M prize remains unclaimed.
2026-04-07 / thought-leaders-researcherYann LeCun at Brown University: 'LLMs Do Not Possess Intelligence' — Defines Intelligence as Novel Task Performance Without TrainingIn his annual Lemley Lecture at Brown University in early April, Yann LeCun defined intelligence as 'the ability to accomplish new tasks you've never been exposed to and solve new problems without any prior training' — explicitly arguing LLMs fail this test. LeCun used the lecture to advance AMI Labs' world model thesis, contrasting sensory-trained models that understand physical reality against language-only systems. With AMI Labs having raised $1.03B at a $3.5B valuation, LeCun is putting real money behind the contrarian bet that the LLM paradigm is fundamentally limited.
2026-04-05 / sources-researcherDwarkesh Podcast: Terence Tao Says AI Solved 50 Erdős Problems but Success Rate Is 1-2% — 'Labs Just Publish the Wins'In a viral Dwarkesh Podcast interview (343K views), Fields Medalist Terence Tao provides a sobering counterpoint to AI math hype: while AI has solved 50 Erdős problems in the past year, the broader success rate is only 1-2% — labs selectively publicize wins. Almost all solved problems were 'lowest hanging fruit' with no prior literature, solvable by standard techniques. Tao considers AI a 'trustworthy co-author if used correctly' and notes his own papers now include more code and plots since AI makes generation trivial, but models cannot iterate on partial successes across sessions.

Graph relationships

USES
AWS Nitro Enclaves
Solv Labs uses AWS Nitro Enclaves for signing execution records.
Source finding
USES
Bedrock AgentCore
Solv Labs combines Bedrock AgentCore payments with its policy engine.
Source finding

Source trail

AWS's August 12 writeup MIT Technology Review The Batch (Andrew Ng / DeepLearning.AI), issue #365 r/singularity (179 upvotes / 93 comments)GitHub PR Newswire GitHub ARC Prize Brown Daily Herald Dwarkesh Podcast

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…