“The revolution of formal reasoning with AI”
2026 is the year of the agents and the year where formal methods are taking the lead. Driven by the AI progress we are seeing glimpses of the future where autonomous systems will be able to plan and verify their actions. In mathematics, this is a particularly strong trend. I will describe from that angle the upcoming models and their uses in science and business.
Bio
Dr Bartosz Naskręcki is a graduate of Adam Mickiewicz University and specializes in number theory and algebraic geometry. After obtaining his doctorate in 2014, he completed several years of research internships in Bayreuth, Bavaria, Bristol, UK, and at the Dioscuri TDA Center in Warsaw. For over four years, he has been collaborating with Prof. Mariusz Jaskólski in the field of mathematical crystallography, which culminated in a sectional lecture at the European Crystallography Congress ECM 2025. In 2022 and 2023, he received the Crystallography Diamonds award twice, granted by the Crystallography Committee of the Polish Academy of Sciences.
In 2025, he co-created the most difficult mathematical test for LLMs, the FrontierMath project. His mathematical problem was included in the most difficult variant of this Tier 4 test, which has so far resisted all the most powerful language models.
He is passionate about teaching students at the intersection of computer science and mathematics, teaching courses in areas such as cryptography, mathematical computing in Python, and the use of large language models in mathematical and programming work. He is interested in all aspects of the use of computers in groundbreaking mathematical work.
Dr. Bartosz Naskręcki is also an active popularizer of knowledge, especially regarding the contribution of Polish cryptologists to breaking the Enigma machine code. He received the Polish Mathematical Society’s award for young mathematicians for 2013, and in 2010 he was honored in the Józef Marcinkiewicz Competition for the best student work in mathematics.
Outside of science, he is a husband and father of two children. In his free time, he is an avid gardener, a fanatic lawn lover, and an avocado grower.