DeepSeek обновляет свою математическую модель искусственного интеллекта Prover
Китайская лаборатория искусственного интеллекта DeepSeek без лишнего шума обновила Prover — свою модель искусственного интеллекта, предназначенную для решения математических доказательств и поиска теорем. По данным South China Morning Post, DeepSeek загрузил последнюю версию Prover, V2, на платформу разработки AI Hugging Face поздно вечером в среду. Похоже, что она построена поверх модели V3 стартапа, которая имеет 671 миллиард параметров и использует архитектуру смешанного эксперта (MoE).
Халява приходит в программирование
Недавно прогремел пост Артура Думчева (@arturdumchev), как халява якобы уходит из программирования. Можете ознакомиться с ним, чтиво достойное. Особенно комментарии.У меня сегодня день рождения: 39 лет. С 2003 года я работаю разработчиком, и сейчас делаю кое-что для ИИ. Интуиция подсказывает, что халява только начинается, мои чюваки. Сейчас — лучшее время быть разработчиком. Давайте начнем с точно того же определения, как было у Артёма: «для меня халява — это гарантированный результат за вложенные усилия. Логика повествования требует такого определения, дальше всё будет ясно».
Представитель ВШЭ: преподавателей нужно учить работать с ИИ, а студенты переписывают за ИИ большую часть учебного текста
Научный руководитель Национального исследовательского университета «Высшая школа экономики» (НИУ ВШЭ) Ярослав Кузьминов рассказал на международной конференции об образовании в современной экономике, что преподавателей нужно учить работать с ИИ, а каждый третий студент переписывает за ИИ больше половины учебного текста.
Оптические нейроморфные процессоры. Посмотрим в будущее
Сначала я хотел написать обычную научно-популярную статью об оптических нейропроцессорах, которые являются самой передовой технологией на пути создания AGI.Но затем решил сделать это в несколько необычной форме, отступив от канонов научно-популярных статей и сместив акцент на то, как эта технология кардинально изменит нашу жизнь. Ведь технических статей и так много. Например, Programming nonlinear propagation for efficient optical learning machines. Или
Четыре месяца дебатов реддиторов и ботнета на языковых моделях показали: машины спорят не хуже людей
26 апреля модераторы сообщества /r/changemyview на Reddit объявили
Mastercard позволит ИИ-агентам совершать покупки онлайн и платежи от имени потребителей
Платёжная система Mastercard сотрудничает с Microsoft и другими компаниями, занимающимися искусственным интеллектом, чтобы предоставить ИИ-агентам возможность совершать покупки в Интернете и платежи от имени потребителей.
Индекс Anthropic: влияние ИИ на разработку программного обеспечения
Всем привет! Меня зовут Александр, я COO в SaaS-платформе аналитики данных. Последний год активно изучаю внедрение AI-решений в кросс-функциональные процессы. Делюсь полезными материалами, которые считаю стоят внимания. В основном про AI, изменение процессов, тренды и продуктовое видение.У себя в телеграм-канале делюсь сжатыми и структурированными саммери статей.Сегодняшний перевод — Anthropic Economic Index: AI’s Impact on Software Development
Стартапы запустили проекты для выявления случаев использования Cluely
Стартап Validia запустил проект Truely, чтобы находить пользователей, которые работают с приложением Cluely для «мошенничества» на собеседованиях и экзаменах.
В Музее космонавтики прошёл финал конкурса «Научный подход»
Научно-исследовательские и научно-популярные работы защитили 18 студентов РосНОУ.11 апреля в Мемориальном музее космонавтики состоялся финал конкурса на лучшую научную работу студентов РосНОУ «Научный подход».
backup Django
Короче, начал делать проект на Django с нуля, и вообще впервые с ним работаю (noob). Соответственно с нейронками в паре, так как сам в Django не особо шарю, и они делают почти всё за меня (условно). И поскольку нейросети любят переписывать код по-своему, периодически всё ломается: и код, и база, и остальная разная нечисть🌚В итоге решил делать бэкапы вместе с нейронками — может, кому-то пригодится.Да, я в курсе, что есть django-dbbackup, контроль версий и куча других тем, но мне пока так удобнее. Дальше — больше. Делюсь этим скорее для таких же новичков, как я. Вдруг будет полезно⤵️
