Viikonlopun voitto: Erdoksen ongelma #397:n todistuksen hyväksyi Terence Tao. Todistus tuotettiin GPT 5.2 Prolla ja formalisoitiin Harmonicilla. Monet avoimet ongelmat odottavat siellä, että joku kehottaa ChatGPT:tä ratkaisemaan ne:
Lanka:
199