1. Bolzano: Case Studies in LLM-Assisted Mathematical Research

   M. Balko, J. Grebík, P. Hubáček, M. Koutecký, M. Kripner, V. Rozhoň, R. Šámal, A. Zámečník

   Published 18. 4. 2026. Presented at the workshop Can AI do Theory? , STOC TheoryFest 2026

   [arxiv:2604.16989]

2. Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving

   A. Zámečník, M. Kripner, M. Koutecký, M. Balko, J. Grebík, P. Hubáček, R. Šámal, V. Rozhoň

   Published 7. 10. 2026. Accepted at The 6th Workshop on Mathematical Reasoning and AI , NeurIPS 2026

   [OpenReview] [arxiv:2610.09769]

programming

• Bolzano (2025), experiment how LLMs handle math [code] [online]
• Python List Processing (2024), attempts at partial LISP implementation in Python [code]
• Magazine Grafoman (2023), website for student magazine [online]
• oktavka.cz (2023), prom website [online]
• remark plugins (2021): remark-simple-slug [code], remark-simple-footnotes [code], remark-simple-toc [code], remark-simple-sections [code]
• more stuff is on [Codeberg]

design

• 3D models: [Chichén Itza] (2018), Rubik's cube [3x3] // [2x2] (2018), [regions of Czechia] (2019)

say hi

• [show e-mail]
• https:// codeberg.org /ejdrien
• https:// linkedin.com /adrianzamecnik

fun stuff

• i hold an official Czech record for the most CPR training manikins resuscitated simultaneously in one place for 20 straight minutes [details]
• project euler friend key: 2194047_GSAj30x2VO1H7iryCJvTfQkII4Unay8M