Математикотики
В OpenAI стверджують, що їхні ШІ-інструменти довели існування в рівняння Нав'є-Стокса розв'язків, що сягають сингулярності за скінченний час. Результат, однак, ще належить перевірити компетентним людям.
Взагалі що ви думаєте про успіхи ШІ в математиці? Чи деактуалізують вони, по-вашому, професію математика? Які емоції це все у вас викликає?
❤🔥6
Forwarded from М[ζММ[ξ|ζ]]
Друзі, є цікава новина:
Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4".
Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне.
В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення.
До заняття можна буде підключитися по Zoom (щопонеділка о 14:30). Також планується запис лекцій.
Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4".
Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне.
В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення.
До заняття можна буде підключитися по Zoom (щопонеділка о 14:30). Також планується запис лекцій.
❤7❤🔥3🥰1
This media is not supported in your browser
VIEW IN TELEGRAM
Реєстрація завершується через тиждень!
Математикотики разом із Квантою розробили новий курс прикладної математики для учнів 8-10 класів.
У першому семестрі ми зосередимо увагу на базових задачах обчислювальної математики — знаходження нулів та екстремумів дійсних функцій. Принагідно ми зачепимо математичне моделювання та деякі теми вищої математики, а нашим головним інструментом у цьому стане мова програмування Python, яку ми вивчатимемо з нуля.
Перше заняття відбудеться 29 вересня, тривалість першого семестру — 14 тижнів. Уроки проходитимуть щовівторка, з 18:00 до 19:30.
19 вересня відбудуться батьківські збори, на яких ви зможете отримати більш детальну інформацію про всі курси, а також поставити свої запитання. 20 вересня реєстрація закривається.
P.S. Плануємо запускати одну очну групу, тож якщо маєте змогу відвідувати заняття в Києві — вкажіть про це при реєстрації 😺
Математикотики разом із Квантою розробили новий курс прикладної математики для учнів 8-10 класів.
У першому семестрі ми зосередимо увагу на базових задачах обчислювальної математики — знаходження нулів та екстремумів дійсних функцій. Принагідно ми зачепимо математичне моделювання та деякі теми вищої математики, а нашим головним інструментом у цьому стане мова програмування Python, яку ми вивчатимемо з нуля.
Перше заняття відбудеться 29 вересня, тривалість першого семестру — 14 тижнів. Уроки проходитимуть щовівторка, з 18:00 до 19:30.
19 вересня відбудуться батьківські збори, на яких ви зможете отримати більш детальну інформацію про всі курси, а також поставити свої запитання. 20 вересня реєстрація закривається.
P.S. Плануємо запускати одну очну групу, тож якщо маєте змогу відвідувати заняття в Києві — вкажіть про це при реєстрації 😺
❤4🥰1
Forwarded from Mathematics Channel
❤4
Forwarded from Кванта. STEM гурток
Підсумки зборів • 19 вересня 2026
Сьогодні в нас відбулися батьківські збори! На зустріч завітало понад 80 учасників — були раді познайомитися та презентувати курси Кванти цьогоріч 🤗
Ми підготували окрему сторінку на сайті, де можна знайти відеозапис зборів та підсумки:
👉 https://kvanta.xyz/news/parents-meetings-summary-2026
📐 Цього року додався новий курс з прикладної математики та кілька рівні
✨ Ми запускаємо заняття з математики на оновленій платформі з підтримкою ШІ
✅ Наступний крок — розподіл на групи. Інформація про заняття з'явиться в особистих кабінетах учнів впродовж наступного тижня.
Для тих, хто ще не встиг зареєструватися — залишається остання можливість це зробити! 🏃♂️
Бажаємо гарних вихідних!
Кванта
Сьогодні в нас відбулися батьківські збори! На зустріч завітало понад 80 учасників — були раді познайомитися та презентувати курси Кванти цьогоріч 🤗
Ми підготували окрему сторінку на сайті, де можна знайти відеозапис зборів та підсумки:
👉 https://kvanta.xyz/news/parents-meetings-summary-2026
📐 Цього року додався новий курс з прикладної математики та кілька рівні
✨ Ми запускаємо заняття з математики на оновленій платформі з підтримкою ШІ
✅ Наступний крок — розподіл на групи. Інформація про заняття з'явиться в особистих кабінетах учнів впродовж наступного тижня.
Для тих, хто ще не встиг зареєструватися — залишається остання можливість це зробити! 🏃♂️
Бажаємо гарних вихідних!
Кванта
🔥3❤1
Провели сьогодні перше заняття курсу прикладної математики на Кванті 😺
❤11👍4🥰2💘1
Виявилося, що мій старічок, зліплений з трави та алюмінію, уже не тягне таких навантажень. Тому переносимо прямий ефір на найближче майбутнє 🙃
😭5🫡4🕊1
Думаю, епоха жарту про британських учених пройшла, тепер жартуємо про OpenAI.
Бо пройшов лише місяць із заяви про розв'язання проблеми Нав'є-Стокса, як вони оформили новий вкид, масштаб якого можете побачити на скріншоті.
Деякі з розв'язків уже спростовують, однак якщо навіть частина з них виявиться вірними, це вже буде великий внесок.
Закриваєм школу?
Бо пройшов лише місяць із заяви про розв'язання проблеми Нав'є-Стокса, як вони оформили новий вкид, масштаб якого можете побачити на скріншоті.
Деякі з розв'язків уже спростовують, однак якщо навіть частина з них виявиться вірними, це вже буде великий внесок.
😁4❤🔥1🫡1
Математикотики
Думаю, епоха жарту про британських учених пройшла, тепер жартуємо про OpenAI. Бо пройшов лише місяць із заяви про розв'язання проблеми Нав'є-Стокса, як вони оформили новий вкид, масштаб якого можете побачити на скріншоті. Деякі з розв'язків уже спростовують…
P.S. Усього було опубліковано 377 доведень.
Серед них:
1. Послаблена версія гіпотези Рімана
2. Деякі проблеми Гільберта та Ердеша
3. Ірраціональність сталої Каталана
4. Гіпотеза Какеї в 3- і 4-вимірному просторах
Серед них:
1. Послаблена версія гіпотези Рімана
2. Деякі проблеми Гільберта та Ердеша
3. Ірраціональність сталої Каталана
4. Гіпотеза Какеї в 3- і 4-вимірному просторах
❤🔥2