Loose posts

The author used Opus 5.5 with Lean and TLA+ to formally verify the Agent SDK, getting 16 PRs that fix bugs and race conditions from a few short prompts.

Perplexity published research on hint-guided self-distillation that teaches its Computer model from its own errors, cutting tool-call failures by 21.2% relative in a live A/B test.

GPT-5.5 ran the same 1,000 tasks in both Claude Code and Codex and its scores shifted with the harness; the benchmark asks agents to rebuild arXiv figures as editable PowerPoint slides, with perception still the main bottleneck.

Against AutoResearch on 12 AI research tasks, it reaches 10.3% more reward with 50.6% fewer research attempts under the same budget.

A commenter says Sol is well thought out: it takes on commitments like sending a doc or following up, does the background work, and waits for final approval.

The YC-backed startup automates accounting, sales and demand planning for brands including Olipop, Mars and Unilever, and has raised a $55 million Series B.

Aimed at agents pulling stale context, the AML benchmark runs 150 software tasks each with relevant history and again with noisy history to test memory retrieval.

DualSQL splits Text-to-SQL into one agent that links the question to the right tables and columns and another that writes the SQL, training both with multi-agent RL.

Bloomberg reports Harvey's costs for renting OpenAI and Anthropic models rose sharply, with gross margin falling from about 50% to -50% by June after agent usage grew 20x.

With the same retriever and agent loop, improving the first retrieval step raised GPT-5.5 from 83.1% to 90.5% on BrowseComp-Plus, with the gain coming mainly from the opening context.

Deel says its month-end close, which previously took over 10,000 hours a month, is now run autonomously by Akai agents, including cash reconciliation and cross-system transaction matching.

Akai builds a workflow after being shown a process once and keeps learning from the team's exceptions, targeting approval-style office automation across tabs.