Вечером: математика ИИ и память смартфонов
Вечером: математика ИИ и память смартфонов 🇺🇸 ИИ-система Google решила девять задач Эрдёша AlphaProof Nexus от Google DeepMind самостоятельно решила девять из 353 открытых проблем Эрдёша, две из которых не решались 56 лет, и доказала 44 гипотезы из базы OEIS, что описано в рецензируемом исследовании в журнале Science. Система построена на Gemini 3.1 Pro, которая пишет и проверяет доказательства на формальном языке Lean, а для сложных подзадач может привлекать специализированный инструмент AlphaProof. 💡 На пальцах: ИИ уже реально помогает решать открытые математические задачи, и это проверено независимыми рецензентами, а не просто заявлено разработчиком. 🔗 The Decoder 🇨🇳 Qualcomm: лаборатории просят ИИ на 100 млрд параметров в смартфоне Глава Qualcomm Криштиану Амон заявил, что ведущие ИИ-компании требуют к 2028 году постоянной работы на смартфонах моделей минимум на 100 млрд параметров, хотя нынешний флагманский чип запускает модель лишь на 30 млрд. Такой скачок требует памяти, которой сегодня в флагманах в разы меньше, а рост цен на нее уже срезает около 20% продаж смартфонов в этом году. 💡 На пальцах: Чем мощнее ИИ в будущих смартфонах, тем дороже и дефицитнее память, и это уже отражается на ценах устройств, включая российский рынок. 🔗 Хабр #НейроНовости #ИИ #технологии