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
END:VCALENDAR