Math²ub

Как Google решили 9 нерешённых задач Эрдёша Они взяли 353 задачи из списка Эрдёша (нерешенные задачи по комбинаторике и теории чисел) и дали их решать Gemini 3.1 Pro. LLM много раз пыталась собрать доказательство: добавляла леммы, меняла промежуточные утверждения и пробовала снова. На каждую задачу тратили до 3000 попыток. Чтобы модель не могла галлюцинировать, доказательство писалось на языке Lean. Это формальный язык, где математическое доказательство можно проверить автоматически. Если доказательство было неверным, Lean возвращал ошибку, и эта информация снова отправлялась модели. Большинство попыток не прошло. Но в 9 случаях Gemini дошла до корректного Lean-доказательства. Там были задачи про плотности множеств, Sidon-множества, числа ван дер Вардена, суммы множеств и конфигурации точек на плоскости. Ещё она доказала 44 гипотезы из OEIS. Если хотите подробнее узнать, как искусственный интеллект формулировал доказательства и как он “думал”, а также читать про новые технологии со стороны науки, а не хайпа — подписывайтесь на канал @mlphys последний пост как раз-таки подробно описывает, как ИИ смог решить эти задачи

ОФФТОП Извините, но я больше не могу держать это в себе. Некоторые из вас знают, что я являюсь студентом 5 курса по направлению "Прикладные математика и физика". Еще меньше людей знает как я люблю (нет) пары по английскому языку. Серьезно, у меня в ВУЗе был английский с 1 по 5 курс, каждую неделю по 2 пары, на которые нужно ходить, так как почти на каждой паре есть рейтинговое задание на оценку, и вот буквально 10 минут назад я сдал последний экзамен по английскому. Блять, я не верю своему счастью, что мне больше никогда не нужно будет по субботам сидеть на парах по английскому с 17:05 до 20:00. Дело в том, что пары по английскому это было вовсе не про изучение английского языка. Мы учили буквально все, кроме английского языка: мы писали сочинения на тему "Какой тип лидерства был у Тома Сойера", мы учили какую дистанцию нужно держать с испанцами при общении и прочую херню. На сегодняшнем экзамене был вопрос: Что будет испытывать японец, если при общении с ним ты будешь смотреть ему в глаза, и варианты ответа такие типа уважение, раздражение и так далее. И вот я больше не должен учить всю эту херню. Я даже не знаю что мне делать с такой кучей освободившегося времени... Я читал много историй на сайтах типа пикабу, где люди рассказывали как они выплачивали кредит и после его выплаты не знали что делать с деньгами, которые начинают копиться. Чувствую себя точно так же сейчас. Извините, я просто не могу поверить своему счастью.

Слишком жестоко...

Если тебе надоел шум вокруг «работы в IT», быстрых денег и бесконечных обещаний — возможно, тебе зайдет мой канал. Я пишу про математику, код, аналитику и то, как реально собираются свои продукты — без инфоцыганства и духоты. Внутри:

• Сложные технические темы простыми словами. • Честный путь от идеи до работающего приложения. • Заметки про фокус, перегруз и цену плохих решений.

Этот канал не для всех. Этот канал для тех, кому интереснее понимать, чем просто листать шум. Если откликается, заходи: https://t.me/+ouYSYOaD9vJiZjI6

Если вы хотите кого-то послать далеко и быстро — пошлите его по направлению градиента. #цитаты_с_математических_лекций P.S. если вы хотите, что бы я опубликовал цитату вашего препода (ну или которую вам кто то рассказывал) – присылайте в лс @alexeyka152 или в сообщения канала

еще раз напоминаю 21-ю аксиому: математики математику не списывают. каждый участник этого сомнительного действия награждается первым простым числом (я не выясняю, кто у кого списывал) #цитаты_с_математических_лекций

В дверь постучали два раза. "Четверть осьминога", — подумал Штирлиц. "Не угадал", — подумало бесконечное число математиков.

Это я

Если вам например на день рождения подарили частное решение то вы сможете решить уравнение Риккати

— Тебе не кажется, что математические каламбуры — это глупо? — Это смотря с какой стороны посмо⅓.

Любителям проективной геометрии посвящается

3.14 Если это число пи с двумя знаками после запятой наберет 69👍, то на следующий День числа пи я выложу число пи с тремя знаками после запятой.

Высшая математика — предмет, который ломает даже хороших студентов Недостаточно лекций, непонятные разборы, задачи «не из этого мира». Мы сделали проект, который закрывает учебные вопросы под ключ. В канале — бесплатные видеокурсы по высшей математике и другим техническим дисциплинам. Четко, по делу, с разбором реальных задач — так, как объясняют сильные преподаватели. Подпишись, чтобы понять сложные дисциплины : https://t.me/+vwg9m0iSSK5lN2Zi

12 ЧАСОВ НЕПРЕРЫВНОГО ИНТЕГРИРОВАНИЯ???😦 Звучит как безумие, но Макс Горбачев из Профиматики уже в это воскресенье проведет БЕСПЛАТНЫЙ 12-и часовой онлайн вебинар по всем интегралам, необходимым для успешной сдачи сессии! За 12 часов Макс разберет следующие темы:

• Определение интеграла Римана • Основные свойства интегралов и табличные интегралы • Замена переменных и внесение под дифференциал • Интегрирование по частям • Интегрирование дробно-рациональных функций • Интегрирование иррациональных функций • Интегрирование тригонометрических функций • Площадь между кривыми • Длина дуги кривой • Площадь и объем тел вращения • Несобственные интегралы • Двойные интегралы • Тройные интегралы

Весь материал будет объяснен с нуля понятным и простым языком, поэтому, если ты устал от сухих объяснений в ВУЗе, то приходи на вебинар и кайфанешь от того, насколько простым и понятным может быть Вышмат😎 Анонс вебинара будет в канале Макса @vyshmath, поэтому подписывайся, чтобы не пропустить его и до встречи на вебе!

Не забываем готовиться к егэ, осталось всего 3 месяца Я часто захожу на канал папы Дани, он смешной и часто проводит открытые вебы, а еще он много полезной инфы постит, шпоры и разборы задач Ну и русский тоже требует подготовки, поэтому советую подписаться на Дядю Тошу, у него постоянно выходят интерактивы по заданиям У кого впереди экзамены, оформляйте подписОчки на профмат и русский🎓