AI dla pracującego matematyka

Description

AI dla pracującego matematyka to trzydniowy warsztat ICMS w [Edynburgu](https://www.createwith.com/cities/edinburgh), który odbędzie się w dniach 14-16 grudnia 2026 roku w Centrum Bayesa. Warsztat zbadany, jak AI zmienia badania matematyczne, od automatycznego dowodzenia twierdzeń i formalizacji po generowanie hipotez i analizę dużych zestawów danych matematycznych.## Matematyka spotyka sztuczną inteligencjęOstatnie modele fundamentowe wytworzyły potężne systemy do rozumowania matematycznego, podczas gdy uczenie maszynowe ujawnia wcześniej ukryte struktury w danych matematycznych, w tym zjawiska takie jak murmury krzywych eliptycznych. Ten warsztat tworzy skoncentrowane środowisko, w którym badacze z akademii i przemysłu mogą ocenić te osiągnięcia, zademonstrować nowe technologie i omówić miejsca, w których obecne metody wciąż zawodzą.Program zbada obszary takie jak:- Dowodzenie twierdzeń i wspomagane AI rozumowanie matematyczne- Automatyczna formalizacja z wykorzystaniem asystentów dowodów, takich jak Lean- Generowanie hipotez wspierane AI- Uczenie maszynowe dla dużych zestawów danych matematycznych- Narzędzia do odkryć naukowych, w tym AlphaEvolve od DeepMind oraz Axolver i Axplorer od Axiom Maths- Możliwości i ograniczenia obecnych systemów AI w matematyce## Wykłady i grupy roboczeObok zaproszonych wykładów, uczestnicy wezmą udział w specjalistycznych grupach roboczych zajmujących się wyzwaniami technicznymi i projektami współpracy. Sesje te mają na celu pomoc uczestnikom w opracowywaniu nowych podejść, identyfikowaniu wspólnych problemów i inicjowaniu wspólnych badań, a nie tylko obserwowaniu demonstracji. Mieszanka prezentacji i skoncentrowanej pracy grupowej czyni to wydarzenie szczególnie istotnym dla osób aktywnie badających, jak AI może przyczynić się do praktyki matematycznej.Warsztat jest skierowany do badaczy i praktyków pracujących w obszarze **matematyki, informatyki i przemysłu**. Jego nacisk na wyzwania techniczne, asystentów dowodów i współpracę badawczą oznacza, że najlepiej nadaje się dla specjalistów lub osób o poziomie badawczym, a nie dla tych, którzy szukają ogólnego wprowadzenia do AI.## Organizatorzy naukowi…[Zarejestruj się na to wydarzenie](https://icms.ac.uk/activities/workshop/ai-workingmathematician)