https://aiscoopnews.com/posts/claude-godel-notebooks-663-theorems-coq/ AI Scoop News en 2026-11-15T00:00:00.000Z Claude Gödel Notebooks: 663 Theorems, 50 False https://aiscoopnews.com/posts/deepseek-api-web-search-pricing-per-1000/ AI Scoop News en 2026-11-14T00:00:00.000Z DeepSeek API Web Search: $0.75 per 1,000 vs Claude's $10 https://aiscoopnews.com/posts/faa-smart-ai-all-22-air-traffic-centers/ AI Scoop News en 2026-11-14T00:00:00.000Z FAA SMART AI Air Traffic Tool Goes Nationwide https://aiscoopnews.com/posts/jensen-huang-reinstatement-petition/ AI Scoop News en 2026-11-14T00:00:00.000Z Jensen Huang Petition Asks Nvidia Board to Reinstate Him https://aiscoopnews.com/posts/microsoft-365-outage-copilot-not-ai-agents/ AI Scoop News en 2026-11-14T00:00:00.000Z Microsoft 365 Outage: Copilot Down, Cause Disputed https://aiscoopnews.com/posts/nvidia-security-team-huang-gap/ AI Scoop News en 2026-11-14T00:00:00.000Z Nvidia Security Chief Resigned Before Jensen Huang's Ouster https://aiscoopnews.com/posts/openai-disbands-robotics-team-gpt-6-astra-simulation/ AI Scoop News en 2026-11-14T00:00:00.000Z OpenAI Disbands Robotics Team: The 74.8% Behind It