Всем любителям олимпиадной математики посвящается (да, это мой канал)

Функция Вейерштрасса непрерывна?
Нарисуй ее не отрывая ручку

Шесть дней Бог создавал Землю, а на седьмой день создал таблицу производных, чтобы школьникам плохо жилось.
#цитаты_с_математических_лекций

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

Кто сегодня вместе со мной впервые в жизни считает определитель матрицы 6 на 6 без калькулятора, признавайтесь, не надо стесняться

3.14

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

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

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

Если вам например на день рождения подарили частное решение то вы сможете решить уравнение Риккати.
#цитаты_с_математических_лекций

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

Это я

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

Если вы хотите кого-то послать далеко и быстро — пошлите его по направлению градиента.
#цитаты_с_математических_лекций

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

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

ОФФТОП

Извините, но я больше не могу держать это в себе.

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

Дело в том, что пары по английскому это было вовсе не про изучение английского языка. Мы учили буквально все, кроме английского языка: мы писали сочинения на тему "Какой тип лидерства был у Тома Сойера", мы учили какую дистанцию нужно держать с испанцами при общении и прочую херню.

На сегодняшнем экзамене был вопрос: Что будет испытывать японец, если при общении с ним ты будешь смотреть ему в глаза, и варианты ответа такие типа уважение, раздражение и так далее.

И вот я больше не должен учить всю эту херню. Я даже не знаю что мне делать с такой кучей освободившегося времени...

Я читал много историй на сайтах типа пикабу, где люди рассказывали как они выплачивали кредит и после его выплаты не знали что делать с деньгами, которые начинают копиться. Чувствую себя точно так же сейчас.

Извините, я просто не могу поверить своему счастью.

Как Google решили 9 нерешённых задач Эрдёша

Они взяли 353 задачи из списка Эрдёша (нерешенные задачи по комбинаторике и теории чисел) и дали их решать Gemini 3.1 Pro.

LLM много раз пыталась собрать доказательство: добавляла леммы, меняла промежуточные утверждения и пробовала снова. На каждую задачу тратили до 3000 попыток.

Чтобы модель не могла галлюцинировать, доказательство писалось на языке Lean. Это формальный язык, где математическое доказательство можно проверить автоматически.

Если доказательство было неверным, Lean возвращал ошибку, и эта информация снова отправлялась модели.

Большинство попыток не прошло. Но в 9 случаях Gemini дошла до корректного Lean-доказательства. Там были задачи про плотности множеств, Sidon-множества, числа ван дер Вардена, суммы множеств и конфигурации точек на плоскости. Ещё она доказала 44 гипотезы из OEIS.

Если хотите подробнее узнать, как искусственный интеллект формулировал доказательства и как он “думал”, а также читать про новые технологии со стороны науки, а не хайпа — подписывайтесь на канал @mlphys последний пост как раз-таки подробно описывает, как ИИ смог решить эти задачи