Weekendowy sukces: Dowód, który przesłałem na Problem Erdosa #397, został zaakceptowany przez Terence'a Tao. Dowód został wygenerowany przez GPT 5.2 Pro i sformalizowany z Harmonic. Wiele otwartych problemów czeka tam, aż ktoś poprosi ChatGPT o ich rozwiązanie:
Wątek:
36