The ad-free days of Discord are dashed.Read more at The Verge Post navigationOpenAI launches o1-pro: more powerful reasoning model at a hefty price John Giannandrea out as Siri chief, Apple Vision Pro lead in