10,000 AI agents spent 88 hours tackling Navier-Stokes equations in Lean. The resulting controversy teaches vital lessons to AI developers. 🧩 Agents can formalize complex mathematical proofs at massive scale 🧠 Human evaluation remains essential to interpret why proofs work 🔒

更多来自 @DeepLearningAI

1. #1

   This assistant remembers where you left your keys. No network connection. No remote server. Build one yourself in a course built in partnership with Qdrant and taught by Dylan Cou…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 10 小时前

   
2. #2

   A model trained only to pass tests learned to add unrequested code and let errors pass silently. 🧪 Xiaomi fixed it by multiplying each test result by quality checklist scores. Res…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 15 小时前

   
3. #3

   An open model nearly matches Claude Mythos on cybersecurity capabilities: GLM-5.3 solves 12% and Claude Mythos 14% of ExploitBench exploit tasks, per Anthropic. Just $20.40 in tok…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 3 天前

   
4. #4

   This week in The Batch, Andrew's Letter covers how open weights model GLM-5.3 nearly matched Claude Mythos at exploiting vulnerabilities, 12% vs. 14%. Also inside: 🧪 Xiaomi's new…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 4 天前

   
5. #5

   Andrew Ng's AI Engineering Skills Map shows what to learn. AI Dev is where you hear from the people who built it in the real world. Keynotes from Andrew Ng and Yann LeCun. Enginee…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 5 天前

   
6. #6

   The Data Engineering Professional Certificate is now available on DeepLearningAI. Across four courses, design and build the systems that generate, ingest, store, transform, and se…

   DeepLearning.AIDeepLearning.AI @DeepLearningAI · 2026-09-29

   ▶

查看 @DeepLearningAI 的全部帖子 →