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-10-08@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261008T121500Z
DTEND:20261008T131500Z
SUMMARY:Mathematics and AI: Piotr Śniady – Seven tornadoes in one spot: 
 AI and mathematics\, summer 2026
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:Piotr Śniady (IMPAN)\nThis summer mathematics changed faster t
 han most of us could follow. This is a short status report: facts\, not op
 inions.\nSometimes the role of AI is documented: a self-taught neurosurger
 y resident obtained a proof of Crouzeix's conjecture from a commercially a
 vailable AI model. More often we can only reason statistically\, as with t
 ornadoes and global warming. I will show a burst of follow-ups on the Koml
 ós conjecture\, a group posting claimed solutions in unrelated fields eve
 ry week\, formal proofs in Lean\, and a sharp change in arXiv combinatoric
 s.\nThe rest of the meeting belongs to the discussion.\nhttps://mathandai.
 impan.pl/#2026-10-08
URL:https://mathandai.impan.pl/#2026-10-08
END:VEVENT
BEGIN:VEVENT
UID:2026-10-15@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261015T121500Z
DTEND:20261015T131500Z
SUMMARY:Mathematics and AI: Andrzej Dragan – Can machines think?
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:Andrzej Dragan (Faculty of Physics\, University of Warsaw)\nhtt
 ps://mathandai.impan.pl/#2026-10-15
URL:https://mathandai.impan.pl/#2026-10-15
END:VEVENT
BEGIN:VEVENT
UID:2026-11-05@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261105T131500Z
DTEND:20261105T141500Z
SUMMARY:Mathematics and AI: Marcin Pilipczuk – A gentle introduction to L
 ean 4 for mathematicians
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:Marcin Pilipczuk (Faculty of Mathematics\, Informatics and Mech
 anics\, University of Warsaw)\nI will give a one-hour introduction to the 
 Lean 4 proof assistant\, aimed at mathematicians. We will cover:\n1) the 
 main theoretic concepts of Dependent Type Theory and the Curry–Howard eq
 uivalence\;\n2) how it is realized in Lean 4 and what the main design cho
 ices are\;\n3) a number of small examples of "human-made" formalizations i
 n Lean 4\;\n4) an overview of current capabilities of large reasoning mod
 els in writing Lean code\;\n5) a short discussion on the level of trust we
  can have towards Lean 4 proofs.\nhttps://mathandai.impan.pl/#2026-11-05
URL:https://mathandai.impan.pl/#2026-11-05
END:VEVENT
BEGIN:VEVENT
UID:2026-11-19@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261119T131500Z
DTEND:20261119T141500Z
SUMMARY:Mathematics and AI: Łukasz Kowalik – AI tells us that Exponentia
 l Time Hypothesis is false
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:Łukasz Kowalik (Faculty of Mathematics\, Informatics and Mecha
 nics\, University of Warsaw)\nOpenAI and Anthropic recently announced that
  their AI models disproved the Exponential Time Hypothesis (ETH)\, which (
 if confirmed) would be a major breakthrough in complexity theory. ETH stat
 es (roughly) that 3-SAT cannot be solved in subexponential time\, i.e. tim
 e 2^o(n)\, so it is much stronger than the P ≠ NP statement. During th
 e talk I will introduce ETH\, its variant Strong ETH and their role in the
  area called Fine Grained Complexity. Next I will try to discuss what the 
 fact that ETH is false means for this area. I will also briefly sketch the
  proof approach taken by OpenAI\, based on the exposition given by Ryan O'
 Donnell.\nhttps://mathandai.impan.pl/#2026-11-19
URL:https://mathandai.impan.pl/#2026-11-19
END:VEVENT
BEGIN:VEVENT
UID:2026-12-03@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20261203T131500Z
DTEND:20261203T141500Z
SUMMARY:Mathematics and AI seminar (talk to be announced)
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:https://mathandai.impan.pl/#2026-12-03
URL:https://mathandai.impan.pl/#2026-12-03
END:VEVENT
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
BEGIN:VEVENT
UID:2027-01-14@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20270114T131500Z
DTEND:20270114T141500Z
SUMMARY:Mathematics and AI seminar (talk to be announced)
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:https://mathandai.impan.pl/#2027-01-14
URL:https://mathandai.impan.pl/#2027-01-14
END:VEVENT
BEGIN:VEVENT
UID:2027-01-28@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20270128T131500Z
DTEND:20270128T141500Z
SUMMARY:Mathematics and AI seminar (talk to be announced)
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:https://mathandai.impan.pl/#2027-01-28
URL:https://mathandai.impan.pl/#2027-01-28
END:VEVENT
BEGIN:VEVENT
UID:2027-02-11@mathandai.impan.pl
DTSTAMP:20261109T124644Z
DTSTART:20270211T131500Z
DTEND:20270211T141500Z
SUMMARY:Mathematics and AI seminar (talk to be announced)
LOCATION:IMPAN\, ul. Śniadeckich 8\, Warsaw\, room 321
DESCRIPTION:https://mathandai.impan.pl/#2027-02-11
URL:https://mathandai.impan.pl/#2027-02-11
END:VEVENT
END:VCALENDAR