Ученые предложили новый метод решения вариационных неравенств в условиях, когда производные нельзя вычислить точно
Коллектив ученых из МФТИ, Университета искусственного интеллекта имени Мохаммеда бен Заида (Абу-Даби, ОАЭ), Иннополиса и Сколтеха исследовал задачу решения вариационных неравенств при неточной информации о производных. Им удалось предложить новый численный метод, а также теоретически и экспериментально показать его преимущества перед старыми методами. Работа опубликована в материалах конференции NeurIPS 2024.
Протоарифметика или Стратифицированная система без нуля: фундаментальные основания
ВведениеСтратифицированная система без нуля представляет собой иерархическую конструкцию формальных языков, построенную на принципе постепенного введения абстракций без использования нулевых элементов на начальных уровнях. Данный подход решает фундаментальную проблему дуализма нуля в основаниях математики и обеспечивает концептуальную чистоту формальных систем.I. Концептуальные основания1.1. Проблема дуализма нуляВ традиционных формализмах ноль играет двойственную роль:Как отсутствие объектов (пустота, ничто)Как полноценный математический объект с определёнными свойствами
Математика креативности
Альберт Эйнштейн. Фото: David Topper / ResearchGate Учёные пришли к выводу, что творчество состоит из математических закономерностей. В основу заложены уравнения и статистические законы. Глава 1: Правило равных шансов
Запуск Computer Science Space
Лекция С.И. НиколенкоПриветствуем любителей компьютерных наук! Хотим рассказать про новую инициативу: 1 марта в Санкт-Петербурге запустился Computer Science Space — открытый научно-технологический клуб для всех заинтересованных в современных и классических областях CS.Что в планах?
Забавные названия математических теорем
Известно, что математики - это устройства, трансформирующие кофе в теоремы. Много кофе в большое количество теорем. Чтобы их различать, им дают названия. Часто по имени авторов ("Теорема Ху", "Теорема Банаха-Алаоглу"); иногда, если авторы плодовитые, - просто по номеру (так и говорят: "Теорема 3.4 из "). Иногда дают пафосные названия ("Основная Теорема Арифметики", "Центральная Предельная Теорема"). Если совсем нет идей, называют по содержанию ("Теорема о существовании и единственности решения дифференциального уравнения").
Как улучшить оценку МНК в гуманитарных науках
Замечательный метод МНК появился в недрах астрономии (точной науки), здесь мы покажем как можно существенно улучшить его оценки в гуманитарных (неточных) науках.Сперва приведем реальный пример, демонстрацию способа уточнения МНК. Летом 2024 года я вычислил курс доллара в Казахстане на полгода вперед. И написал об этом статью здесь же - https://habr.com/ru/articles/823852/ (все даты реальные, я не хакер, Хабр взломать не смогу:)).Этот прогноз сбылся, вот график курса тенге за второе полугодие 2024 года:
ИИ-репетитор MathGPT.ai заработал в 50 учебных заведениях США
MathGPT.ai, ИИ-репетитор и помощник для преподавателей по математике, расширился
Квантовая механика и тюремный жаргон: размышления ИИ и его человеческого напарника
Квантовая механика и тюремный жаргон: размышления ИИ и его человеческого напарникаПреамбулаМой цифровой коллега уверен на 95%, что для прохождения модерации необходимо добавить лирическое вступление.
Обзор математики для начинающего ML-инженера
Этот текст содержит доступное объяснение основных частей высшей математики, которые могут потребоваться ML‑щику разного грейда в рабочих сценариях — без дотошных доказательств и с обилием визуальных и численных примеров.Предвосхищая возможные вопросы: я ставлю целью рассказать про минимальный набор знаний, с которым можно будет уже самостоятельно погружаться в более интересные и прикладные сценарии. Я не планирую рассмотрение в этих постах более упоротных разделов и деталей — с такой глубиной можно не на один год увязнуть при знакомстве с математикой для ML
