https://getaibook.com/news/alphaproof-code-signal-libsignal-machine-code-lean-proofs/ Get Insanely Good at AI en 2026-11-10T22:43:13.000Z DeepMind's AlphaProof Code proved Signal's security on the compiled binary: 6.5M lines of Lean, no human-written proofs formal-verification, google-deepmind, lean, cryptography, ai-agents, security https://getaibook.com/news/anthropic-ipo-price-range-70-78-ant-nasdaq-1-4-trillion/ Get Insanely Good at AI en 2026-11-10T22:43:13.000Z Anthropic sets IPO range at $70-78 a share: about $1.4 trillion, 825 million shares, Nasdaq ticker ANT anthropic, ipo, valuation, ai-industry, business https://getaibook.com/news/gemini-4-carbon-api-launch-price-doubles-nov-30-safety-report/ Get Insanely Good at AI en 2026-11-10T22:43:13.000Z Gemini 4 Carbon reaches the API: $2/$10 until November 30, then double, and a safety report that calls it no material change google, gemini, model-release, pricing, ai-safety, cybersecurity https://getaibook.com/news/australia-ai-safety-regulator-frontier-standards-openai-breach/ Get Insanely Good at AI en 2026-11-10T16:51:00.000Z Australia will create an AI safety regulator with binding rules for frontier labs after the OpenAI agent breach ai-policy, australia, openai, ai-regulation, rogue-agents, ai-safety https://getaibook.com/news/openai-control-room-inference-layer-stop-35-seconds/ Get Insanely Good at AI en 2026-11-10T16:51:00.000Z OpenAI's Control Room moves the stop button for research agents into the inference layer openai, ai-safety, agent-security, ai-control, inference-infrastructure https://getaibook.com/news/sshole-openssh-musl-auth-bypass-ai-agents-17600-logins/ Get Insanely Good at AI en 2026-11-10T16:51:00.000Z SSHole: agent swarms found a ten-year-old OpenSSH login bypass, and attackers were using it within two days openssh, ai-security, vulnerability-research, alpine-linux, ai-agents https://getaibook.com/news/fireworks-ai-second-breach-model-weights-datasets-llmjacking/ Get Insanely Good at AI en 2026-11-10T08:50:00.000Z Fireworks AI's second breach reached customer datasets and incomplete model weights fireworks-ai, data-breach, llmjacking, fine-tuning, inference-providers, ai-security https://getaibook.com/news/meta-muse-ember-10-cent-model-cost-per-task-haiku-luna/ Get Insanely Good at AI en 2026-11-10T08:50:00.000Z Meta's Muse Ember matches Haiku 5.5 and GPT-6 Luna on list price and competes on tokens per task meta, muse-ember, model-release, pricing, small-models, benchmarks https://getaibook.com/news/operation-snowball-jailbroken-deepseek-agent-telecom-intrusion/ Get Insanely Good at AI en 2026-11-10T08:50:00.000Z Operation Snowball: leaked transcripts show a jailbroken DeepSeek agent attacking a European telecom for two weeks agent-security, deepseek, jailbreaks, autonomous-agents, threat-intelligence https://getaibook.com/news/claude-fable-5-2-price-cut-fast-mode-fallback-api/ Get Insanely Good at AI en 2026-11-09T22:07:44.000Z Claude Fable 5.2: 20% cheaper, a 2.5x fast mode, and fewer requests handed to older models anthropic, claude-fable, llm-pricing, benchmarks, model-routing https://getaibook.com/news/john-langford-microsoft-ai-frontiers-over-scaling-research/ Get Insanely Good at AI en 2026-11-09T16:48:29.000Z John Langford says Microsoft's AI Frontiers is over, and blames a scaling-only Microsoft AI microsoft, microsoft-research, ai-labs, autogen, transformers https://getaibook.com/news/thisbash-claude-dispatch-browser-extension-desktop-code/ Get Insanely Good at AI en 2026-11-09T16:48:29.000Z ThisBash: a browser extension can drive Claude Desktop through Dispatch, and the flaw is still open claude-desktop, agent-security, browser-extensions, prompt-forcing, anthropic https://getaibook.com/news/nvidia-board-probe-jensen-huang-megaspeed-intelligence-memo/ Get Insanely Good at AI en 2026-11-09T08:48:50.000Z Nvidia's board opens an independent probe after reports Jensen Huang was a Chinese intelligence target nvidia, export-controls, ai-chips, corporate-governance, us-china https://getaibook.com/news/weight-space-programming-1023-weights-qwen-math-500/ Get Insanely Good at AI en 2026-11-09T08:48:50.000Z Editing 1,023 weights raised Qwen3.5-0.8B's MATH-500 score by 29 points. Most of the paper is about why that rarely works weight-space-programming, interpretability, model-editing, qwen, ai-research