Daily briefMonday, October 12, 2026The day in AI, minus the hype tax. 1 to test · 2 to monitor.Test1Pilot vLLM Semantic Router's new open-source Decision 3.0 multimodal models for choice, yes/no, and scoring tasks on text and images. source Monitor2Note reports of Apple developing a new smart home product, potentially "HomeView," indicating a strategic shift into that market. source Be aware that Lean4, a software for formal verification, has documented early development issues affecting its current trustworthiness. source