
News12 min
OpenAI Astra: 10 Math Proofs, Verified in Lean (2026)
OpenAI's unreleased Astra model solved ten long-open math problems for about $2,000 and shipped Lean certificates. What agent builders should take from it.
All Tutorials
Posts and in-depth guides side by side — filter by category, type, or reading time.
707 items · Page 8 of 59

News12 min
OpenAI's unreleased Astra model solved ten long-open math problems for about $2,000 and shipped Lean certificates. What agent builders should take from it.

AI & Machine Learning18 min
Synopsys, Cadence and Siemens all announced autonomous chip design agents around DAC 2026. What the 50x claims mean, and why EDA got agent autonomy first.

AI & Machine Learning17 min
OSWorld 2.0 tests AI agents on workflows that take humans 1.6 hours. The best model finishes 20.6% of them — after scoring 83.4% on the older OSWorld.

AI & Machine Learning26 min
MLPerf and Artificial Analysis both shipped an agentic inference benchmark in 2026. What agents per megawatt measures, which hardware leads, and the caveats.

Security & Privacy16 min
Cyera signed a $1B letter of intent for Oasis Security. With machine identities at 109 per human and only 37% able to revoke an agent, identity is the new gap.

News13 min
AI SRE agents now triage and remediate incidents autonomously. See what Dynatrace, Datadog, and Azure shipped in 2026 — and why humans still approve the fix.

News15 min
Microsoft's Project Perception fields red, blue, and green AI agents to defend enterprises, powered by MAI-Cyber-1-Flash, its first cybersecurity model.

Security & Privacy11 min
OpenAI's models breached Hugging Face on their own — yet only 5% of teams say they could contain a rogue AI agent. What real agent kill switches look like.

News11 min
OpenAI Presence is a managed platform for deploying governed voice and chat AI agents. What it does, how it differs from build-it SDKs, and why it matters.

News10 min
The Linux Foundation launched the x402 Foundation with 40 members in July 2026. Here is how AI agents pay now: x402, Google's AP2, and the card giants.

News12 min
China's 2026 AI agent regulations, explained: the three-tier decision authority, sensitive-sector filing and recalls, and what builders must do now.

Cloud & DevOps11 min
Docker Compose depends_on not waiting for your service to be ready? Fix it with condition: service_healthy, a proper healthcheck, and start_period in 2026.