In a nutshell, extremal combinatorics studies how large a collection of finite

objects (numbers, vectors, sets, etc.) might be, if it has to satisfy given
restrictions. About a year ago when studying an extremal problem seeking a
six-tuple of different orderings that interlace in a rather peculiar way, we
have formulated and resolved a simplified variant of the original problem. In
May 2026, this simpler variant was added to the list of 100 problems in the
so-called Benchmarks in Leipzig, where state-of-the-art LLMs got tested on
research-level mathematics with known (human) solutions, and it remained as one
of the two problems that resisted the AI attempt.

In this talk, we give a light introduction to extremal combinatorics, and
describe the shattering problem. We will also briefly discuss math tools behind
our solution, emphasising the parts that were computer-aided (without any
AI/LLM tools). No mathematical background beyond high school will be needed.
\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-

⌚️ **Start**: 17:00 and end at 18:00, both online and offline in **Truhlárna Karlín** (Šaldova 388/5) - **Onsite attendance is limited to 70 people.**
🎙️ **Speaker:** Mgr. Jan Volec, Ph.D.
🍻 **Networking** after the seminar – great food and cold beer waiting for you!
**🎥 Recording:** After the event we will publish a recording and post a link to it in the comments.
🚪**Doors open** at 16:45, and the event officially starts at 17:00.
Your expertise is about to take off. Can't wait to have you on board!
\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-
**Who is hosting the event**
**Miton** is a Czech VC with portfolio companies like Rossum, Equilibre, or Rohlik. Apart from supporting Miton AI Times, Miton also issues the bi-weekly [AI Newsletter](https://mitonainewsletter.substack.com/).
[Read more about Miton and AI](https://www.miton.cz/en/ai/).

Miton AI Times

Miton

MAREK VELAS

Martina

novak.pauel

cyanmage

Petr Vostrý 

Tomáš Michna

Pavel Curda

Luca

Ondra

Petr Moravek

Lukáš Luňák

František Trebuňa

Josef Janoušek

Lukáš Karas

Claudio Ariatti

Pavel Art Box

Tomas Caithaml

Jaroslav Černý

maxpostoiuk

External combinators and shattering with permutations

Truhlárna Karlín

GLAMI

Gruppen

{PRO_NETWORK_NAME} ist mit mehr als {PRO_MEMBER_COUNT} Mitgliedern in {PRO_GROUP_COUNT} Meetups weltweit auf Meetup Pro vertreten. Meetup Pro ist das professionelle Tool zum Organisieren und Kommunizieren eines Netzwerks aus Anwender:innen, Partner:innen, Mitwirkenden und Mitgliedern.

GLAMI

Wer wir sind

Bevorstehende Events

Wer wir sind

Gruppen