BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//IMPAN//Mathematics and AI//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Mathematics and AI
X-WR-TIMEZONE:Europe/Warsaw
BEGIN:VEVENT
UID:2026-12-17@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261217T131500Z
DTEND:20261217T141500Z
SUMMARY:Mathematics and AI: Bartosz Naskręcki – Doing mathematics with A
 I agents without losing the point
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:Bartosz Naskręcki (Faculty of Mathematics and Computer Science
 \, Adam Mickiewicz University\, Poznań)\nIn this talk I will show how the
  latest AI tools can be used in practice to do mathematics differently\, w
 hile keeping a sense of meaning and purpose. I will introduce the notion o
 f the agentic loop\, auto-research\, the role of skills\, and the (auto)fo
 rmalization of mathematical documentation at multiple levels. All of this 
 will be illustrated with concrete projects in algebra\, number theory\, an
 d beyond.\nThe talk is aimed in particular at mathematicians whose picture
  of AI comes from rather underwhelming chatbots. I will try to dispel that
  impression and show that the useful way to bring AI into mathematics goes
  through agents and through building specifications and computational arch
 itectures\, and that this is far less complicated than it sounds.\nhttps:/
 /mathandai.impan.pl/#2026-12-17
URL:https://mathandai.impan.pl/#2026-12-17
END:VEVENT
END:VCALENDAR