Выигрыш выходного дня: Доказательство, которое я представил для задачи Эрдоша № 397, было принято Терренсом Тао. Доказательство было сгенерировано GPT 5.2 Pro и формализовано с помощью Harmonic. Многие открытые задачи ждут, когда кто-то попросит ChatGPT решить их:
Тред:
22