Per Alexandersson: Research with AI – what has changed in 6 months?
Tid: On 2026-09-09 kl 15.15 - 16.00
Plats: KTH, Room D2
Medverkande: Per Alexandersson (SU)
Abstract: I gave a small presentation on my AI workflow in February 2026. Since then, new models and features have been released and a lot has changed. I will give an overview of how I currently use AI to find and verify proofs in an efficient manner.
After the seminar we invite everyone to fika in the lunch room of the KTH math department, to continue with informal discussions.