AI для працюючого математика

Description

AI для працюючого математика – це триденний воркшоп ICMS у [Единбурзі](https://www.createwith.com/cities/edinburgh), який проходитиме з 14 по 16 грудня 2026 року в Центрі Бейза. Він розгляне, як ШІ змінює математичні дослідження, від автоматизованого доведення теорем і формалізації до генерації гіпотез і аналізу великих математичних наборів даних. ## Математика зустрічає штучний інтелект Недавні фундаментальні моделі створили потужні системи для математичного аргументування, в той час як машинне навчання виявляє раніше приховані структури в математичних даних, включаючи такі феномени, як мурмурації еліптичних кривих. Цей воркшоп створює зосереджену обстановку, в якій академічні та промислові дослідники можуть оцінити ці досягнення, продемонструвати нові технології та обговорити, де сучасні методи все ще мають недоліки. Програма розгляне такі області, як: - Доведення теорем і AI-підтримане математичне аргументування - Автоматизована формалізація з використанням асистентів доведення, таких як Lean - Генерація гіпотез, підтримувана ШІ - Машинне навчання для великих математичних наборів даних - Інструменти для наукового відкриття, включаючи AlphaEvolve від DeepMind та Axolver і Axplorer від Axiom Maths - Можливості та обмеження сучасних систем ШІ для математики ## Доповіді та спільні робочі групи Поряд з запрошеними доповідями, учасники братимуть участь у спеціалізованих робочих групах, що займаються технічними викликами та спільними проектами. Ці сесії призначені для того, щоб допомогти учасникам розробити нові підходи, виявити спільні проблеми та ініціювати спільні дослідження, а не просто спостерігати за демонстраціями. Поєднання презентацій та цілеспрямованої групової роботи робить цю подію надзвичайно актуальною для людей, які активно досліджують, як ШІ може сприяти математичній практиці. Воркшоп спрямований на дослідників та практиків, які працюють у **математиці, комп’ютерних науках та промисловості**. Його акцент на технічних викликах, асистентах доведення та співпраці у дослідженнях означає, що він найбільш підходить для спеціалістів або дослідницької аудиторії, а не для тих, хто шукає загальне введення в ШІ. ## Наукові організатори… [Зареєструйтеся на цю подію](https://icms.ac.uk/activities/workshop/ai-workingmathematician)