Neel Somani ratkaisi Erdos-ongelman?
Neel Somani
Neel Somani11.1. klo 13.00
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:
Kun CT hajoaa, on hauskaa nähdä vanhoja hahmoja luonnossa
52