Нил Сомани решил задачу Эрдёша?
Neel Somani
Neel Somani11 янв., 13:00
Выигрыш выходного дня: Доказательство, которое я представил для задачи Эрдоша № 397, было принято Терренсом Тао. Доказательство было сгенерировано GPT 5.2 Pro и формализовано с помощью Harmonic. Многие открытые задачи ждут, когда кто-то попросит ChatGPT решить их:
Когда CT распадается, приятно видеть старых персонажей в дикой природе
36