AI — Page 86

The ClickUp CEO says savings will fund million-dollar salary bands for AI-leveraged top performers, even as Gartner warns automation cuts do not guarantee returns.

A brief X post teased an agentic framework for research-level math, but shared no docs or team names identifying what AlphaProof Nexus is.

VP of Research Pushmeet Kohli points to a GitHub trove of Lean-formalized proofs and prose by AlphaProof Nexus, signaling progress while holding back the framework code.

A widely reshared ClaudeDevs note, surfaced by Aligned News in a post on X, says Auto Mode now runs on Pro with Sonnet 4.6 and Opus 4.7.

Haritz Puerto says a paper on decomposing and measuring evaluation awareness just dropped, plus a resource called EvalAwa..., but links and authorship were not shared.

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.