Reducing hallucinations with automated reasoning (1:22:18 th-cam.com/video/LY7m5LQliAo/w-d-xo.html) looks very interesting! I wonder what reasoner software is used under the hood. Is it the kani reasoner? 'model checking' sounds like program verification.
![สาวเมืองเพชร - ธีเดช ทองอภิชาติ [Official MV]](http://i.ytimg.com/vi/kEt7F9PvO3I/mqdefault.jpg)
TimeStamps... please!
23:16: General Availability: Trainium 2 and Power GCN2 Instances
25:50: Announcement: EC2 Trainium Two Ultra Servers
34:38: Announcement: Trainium 3
1:17:35: Launch: Model Distillation in Amazon Bedrock
1:28:07: Launch: Multi-Agent Collaboration for Bedrock Agents
1:48:20: Launch: Amazon Nova Foundation Models (Micro, Lite, Pro - GA)
1:53:45: Launch: Amazon Nova Canvas
1:55:06: Launch: Amazon Nova Reel
1:56:36/1:56:53: Announcements: Amazon Nova Speech-to-Speech (Q1) & Any-to-Any (Mid-Year)
2:01:46: Launch: Q Autonomous Agents for Developers
2:39:12: Next-Generation Amazon SageMaker
2:39:47: Preview: SageMaker Unified Studio
Great tech with Graviton4, an example how engineering and math create something 👍
Pushing the boundaries of technology! 👍😊
FYI: Gemini "Advanced" failed multiple times at getting an accurate timeline for this video.
The king is back
Excited by the Nova models
Excited about the future of AI
Good job team! you guys over deliver once again!
great
Reducing hallucinations with automated reasoning (1:22:18 th-cam.com/video/LY7m5LQliAo/w-d-xo.html) looks very interesting! I wonder what reasoner software is used under the hood. Is it the kani reasoner? 'model checking' sounds like program verification.
watch it on 1.5X and save your 1 hour of time.
Wow
cool
🤩
Great stuff but Apple is actually one of the least innovative companies in the world