AI — Page 72

In a new paper and open releases, Li and collaborators decompose evaluation awareness, test nine models across four benchmarks, and publish a factor-controlled dataset and code.

The tally counts only Hugging Face and Ollama pulls, hinting at on-device demand but leaving methodology and release timing unclear.

Coffee meetups land June 2nd, 4, and 6, with RSVPs running through Luma as Asimov convenes folks interested in humanoids and AI.

Demos show a Mac agent that records your cross-app workflow once, compiles it into a deterministic DSL, and replays it locally with zero recurring tokens. With freu-cli open-sourced and a local vision execution model coming, can ahead-of-time semantic compilation beat screenshot agents on cost and latency?

Socket researchers say the TrapDoor campaign planted credential-stealing payloads in more than 34 packages and 384+ versions, targeting crypto and AI developers.

Google DeepMind reports a full-featured AlphaProof Nexus agent solved 9 of 353 open Erdos problems at a few hundred dollars per problem and proved 44 of 492 OEIS conjectures; code and Lean proofs are on GitHub. This is an arXiv preprint and community validation is pending.

In a rare interview on The Knowledge Project, the OpenAI co-founder recounts quitting within hours, sketching a backup company, and why they stopped showing reasoning traces.

The app says it now runs a lightweight local LLM as an interrogator model and splits generation and editing into distinct modes for a cleaner workflow.

Aligned News flagged the move; Wikipedia lists Karpathy on Anthropic’s pretraining team in 2026, underscoring top-tier talent consolidation at frontier labs.

The San Francisco afterparty will spotlight 100+ expert curated agent tasks, live demos of the BenchFlow SDK, and Kaggle’s new Agent Benchmarks.

Cloudflare alone found 2,000 issues; Anthropic’s OSS scans show a 90.6% triaged true-positive rate and project nearly 3,900 high-or-critical bugs ahead.

In a 10-iteration code-and-rewrite challenge, the team let each model build and train a Tetris bot, then compared the final agents.

Approaching $10M ARR, Cera says Polsia runs companies autonomously with one founder and AI, and even handled its own raise while he "just showed up for signatures."

Kotar framed PSI-0.5 as contrasting with world models focused on moving around scenes; the reposted announcement we saw did not include links to code, a demo, or a paper.

The research lab outlined a staged plan for a single 3D-native model and an open-by-default posture; Pear VC and Base10 are backing the effort.

Benchmark chatter has shifted from open vs weak baselines to parity talk, with hints that Qwen 3.7 Max posts a strong math score.

In an X thread, Shiyuan says Cosmo lets you type or speak from the desktop while the interface renders live; some demo changes are not live yet.

Runway is steering its video model toward controllable, preview-first editing, not just one-shot generation, per a thread on X and a new Generative Session page.

Internal memo sets a June 30th cutoff for most Claude Code seats; Microsoft frames the shift as convergence on a first-party CLI and a cost move tied to fiscal year-end, per The Verge.

Founders and indie publishers describe the same analytics signature as Google's summary-style results, including AI Overviews, satisfy queries on the results page and thin out the clicks that fund new work.

In an X thread announcing a 22% cut, Evans framed a shift to agents and smaller, faster teams, citing a weeklong frontend architecture rebuild, 40x research, faster code review of agent outputs, and million-dollar bands for outsized impact.

San Francisco-based Fractional AI, founded by Chris Taylor, Eddie Siegel, and Travis May, will be the operational core of a new Anthropic, Blackstone, and H&F backed firm.

Researcher-builder Minkai Xu says he has been heads-down for months on a world model, with the announcement appearing on Google DeepMind's X account.

Images from ChatGPT, the OpenAI API, and OpenAI Codex will carry SynthID and C2PA signals, with a checker to verify provenance and new participation in C2PA conformance.