Mathematical discovery in the age of AI - Bartosz Naskręcki (AISPL Talks #15)
- Date
- 2026-05-28
- Host
- AI Safety Poland
About this event
Mathematics has always been a frontier of human discovery. Now AI is beginning to change how that frontier is explored, raising exciting questions about what researchers can find faster, what kinds of insight still require deep human judgment, and how these tools might reshape the practice of discovery itself. AISPL Talks #15 brings that conversation into focus with a talk by Bartosz Naskręcki, centered on mathematical discovery in the age of AI. This is a talk for people who want more than broad hype or vague speculation. If you care about AI, scientific reasoning, autonomy, and the real-world impact of advanced systems on intellectual work, this event offers a grounded way to think through those themes in a live, in-person setting with others who are asking serious questions. About the Event AISPL Talks is a community-oriented series that creates space for thoughtful discussion around AI and its broader implications. In this edition, the focus is on mathematics: a field often seen as one of the clearest tests of reasoning, abstraction, proof, and genuine understanding. The event will explore what it means to do mathematical work at a time when AI systems can increasingly assist with pattern-finding, conjecture generation, symbolic manipulation, and other parts of the research process. Rather than treating AI as a magical black box or as a simple productivity tool, this talk opens up a more interesting question: how does the nature of discovery change when intelligent systems become part of the workflow? Because this is part of the AI Safety Poland Talks community, the conversation also sits in a wider context. Expect the topic to resonate not just with mathematics, but with larger issues in AI capability, reliability, scientific practice, and the role of human oversight in domains where correctness matters. The format is designed for people who want substance and connection. This is an in-person event, which means you can engage directly with the ideas, meet others interested in AI and adjacent fields, and continue the discussion beyond the talk itself. What to Expect You can expect a focused evening built around a featured talk, with room for discussion and community interaction. The core of the event is Bartosz Naskręcki's perspective on mathematical discovery under changing technological conditions, presented in a way that connects technical curiosity with broader implications. Likely areas of discussion include: How AI tools may support mathematical exploration, including idea generation, experimentation, or navigating complex structures Where human intuition still matters most, especially in framing problems, evaluating significance, and building understanding What counts as discovery when part of the process is delegated to increasingly capable systems How this connects to wider AI questions, including autonomy, trust, and the limits of tool-based reasoning As an AISPL Talks event, this is also a chance to be part of a community conversation rather than just passively consume a lecture. Expect a format that supports listening carefully, asking better questions, and talking with other attendees who bring different backgrounds to the same topic. There is also a practical social dimension to the evening. With tags including community and networking, this event is a good fit if you value meeting researchers, students, builders, and thoughtful newcomers who are interested in AI's deeper implications, not just its latest headlines. Why Attend If you're interested in AI, this event offers a concrete lens on a big topic. Mathematics is a particularly useful place to examine AI's role because it sharpens questions that can stay fuzzy elsewhere: what does understanding look like, how do we verify results, and where is the boundary between assistance and genuine insight? You should attend if you want to think more clearly about the future of high-level intellectual work. The discussion is likely to be valuable not only for mathematicians, but for anyone interested in scientific discovery, research tooling, or the changing relationship between human expertise and machine capability. By the end of the evening, you can expect to leave with: A richer mental model of how AI may influence mathematical and scientific discovery Better questions about the role of autonomy and human judgment in research workflows Exposure to a community that takes AI ideas seriously without flattening them into slogans New conversations with people who care about both technical depth and broader implications This is also a strong event for people who enjoy ideas that sit at the intersection of disciplines. It connects mathematics, AI, epistemology, and safety-minded thinking in a way that invites real engagement rather than surface-level commentary. Practical Details When: Thursday, May 28 at 6:00 PM GMT+2 Location: In person Being in person matters for this kind of topic. Questions around reasoning, discovery, and AI's role in intellectual life tend to benefit from live discussion, follow-up questions, and the informal conversations that happen before and after the main session. If you're considering attending, plan for an evening that combines a substantive talk with opportunities to connect with the broader AISPL community. It makes sense to arrive ready to listen closely, ask thoughtful questions, and stay a bit after the formal program if you want to get the most out of the networking side. Whether you're coming from mathematics, AI research, philosophy, engineering, or simple curiosity, this event offers a clear entry point into an important conversation. If you want a sharper, more grounded view of how AI may change the practice of discovery itself, this talk is a strong place to start.
Who should attend
This event is for you if you want to think seriously about how AI changes deep intellectual work, not just everyday productivity. - You work in **AI, ML, or adjacent technical fields** and want a sharper understanding of what machine-assisted discovery might mean in domains where rigor and correctness really matter. - You have a background or strong interest in **mathematics, theoretical research, or scientific reasoning** and are curious about how AI tools may influence exploration, proof, insight, and research practice. - You're interested in **AI safety, autonomy, and human oversight**, and you want to examine those themes through a concrete case rather than abstract debate. - You enjoy events where the goal is not just to hear a talk, but to **meet thoughtful people**, compare perspectives, and continue the conversation in person. - You're a **student, researcher, builder, or intellectually curious community member** looking for a serious but welcoming entry point into questions about AI's impact on knowledge creation. - You want to be in a room with people who care about **both technical substance and broader implications**, and who are willing to ask harder questions about what AI systems are actually changing.