Математикотики

Виявилося, що мій старічок, зліплений з трави та алюмінію, уже не тягне таких навантажень. Тому переносимо прямий ефір на найближче майбутнє 🙃

Трансляція висне 🙁
Зараз будем виправлять.

Завтра буде стрім. Ввечері, десь о 18:00.

Провели сьогодні перше заняття курсу прикладної математики на Кванті 😺

#equation

Source

#topology

Підсумки зборів • 19 вересня 2026

Сьогодні в нас відбулися батьківські збори! На зустріч завітало понад 80 учасників — були раді познайомитися та презентувати курси Кванти цьогоріч 🤗

Ми підготували окрему сторінку на сайті, де можна знайти відеозапис зборів та підсумки:
👉 https://kvanta.xyz/news/parents-meetings-summary-2026

📐 Цього року додався новий курс з прикладної математики та кілька рівні

✨ Ми запускаємо заняття з математики на оновленій платформі з підтримкою ШІ

✅ Наступний крок — розподіл на групи. Інформація про заняття з'явиться в особистих кабінетах учнів впродовж наступного тижня.

Для тих, хто ще не встиг зареєструватися — залишається остання можливість це зробити! 🏃‍♂️

Бажаємо гарних вихідних!
Кванта

What type of mathematician are you?

Site

#site #test

здається почалося

Математикотики pinned a video

Реєстрація завершується через тиждень!

Математикотики разом із Квантою розробили новий курс прикладної математики для учнів 8-10 класів.

У першому семестрі ми зосередимо увагу на базових задачах обчислювальної математики — знаходження нулів та екстремумів дійсних функцій. Принагідно ми зачепимо математичне моделювання та деякі теми вищої математики, а нашим головним інструментом у цьому стане мова програмування Python, яку ми вивчатимемо з нуля.

Перше заняття відбудеться 29 вересня, тривалість першого семестру — 14 тижнів. Уроки проходитимуть щовівторка, з 18:00 до 19:30.

19 вересня відбудуться батьківські збори, на яких ви зможете отримати більш детальну інформацію про всі курси, а також поставити свої запитання. 20 вересня реєстрація закривається.

P.S. Плануємо запускати одну очну групу, тож якщо маєте змогу відвідувати заняття в Києві — вкажіть про це при реєстрації 😺

Друзі, є цікава новина:

Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4".

Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне.

В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення.

До заняття можна буде підключитися по Zoom (щопонеділка о 14:30). Також планується запис лекцій.

Взагалі що ви думаєте про успіхи ШІ в математиці? Чи деактуалізують вони, по-вашому, професію математика? Які емоції це все у вас викликає?

В OpenAI стверджують, що їхні ШІ-інструменти довели існування в рівняння Нав'є-Стокса розв'язків, що сягають сингулярності за скінченний час. Результат, однак, ще належить перевірити компетентним людям.