Ja Erdosin ongelma numero 3 on ratkaistu GPT-5.2 pro:lla (#379). Terence Tao hyväksyi sen. Uskon, että viime päivät ovat olleet tekoälytieteen "lähtöhetkeä".