Нет преград Автоформализатор Math Inc. Гаусс завершил проект «Теорема о сильных простых числах» всего за 3 недели — задача, над которой даже Терри Tao и Алекс Конторович работали более 18 месяцев и застряли. "Мы вступаем в Золотой Век, когда каждый может призвать искусственных математиков для исследований. Поскольку проверенная математика становится полем для обучения ИИ, мы создаем машинных универсалистов, которые превзойдут человеческие ограничения — фон Нейманов цифровой эпохи."

Что?! Я этого не ожидал „Албания стала первой страной в мире, у которой есть министр ИИ — не министр по ИИ, а виртуальный министр, состоящий из пикселей и кода и работающий на основе искусственного интеллекта. Её зовут Диелла, что на албанском означает "солнечный свет", и она будет отвечать за все государственные закупки, сказал премьер-министр Эди Рама в четверг.“

Microsoft отказывается от OpenAI для Office 365 и привлекает Anthropic. Модели Claude будут использоваться для определенных функций Copilot в Word, Excel и PowerPoint в будущем — особенно там, где они показывают лучшие результаты по внутренним тестам, например, в функциях работы с таблицами или более привлекательных презентациях. Существует две стороны этого вопроса: с одной стороны, это улучшает качество продукта, а с другой — посылает сигнал OpenAI, с которым Microsoft в настоящее время ведет жесткие переговоры. Еще один интересный момент заключается в том, что Microsoft должна платить за Anthropic через AWS, в то время как модели OpenAI для них бесплатны в рамках существующего партнерства.