Víkendové vítězství: Důkaz, který jsem předložil pro Erdosův problém #397, přijal Terence Tao. Důkaz byl generován pomocí GPT 5.2 Pro a formalizován pomocí Harmonic. Mnoho otevřených problémů tam leží a čeká, až někdo vyzve ChatGPT, aby je vyřešil:
Vlákno:
15