Digital Superintelligence

Navier–Stokes,
apparently settled

The Clay Mathematics Institute said on 11 September 2026 that the problem appears to be settled. The proof is under review and no prize has been awarded.

Clay’s statement

Digital
Superintelligence

Study the Seven

Allogon.

Carnegie · Pittsburgh and beyond

Study the seven for free.

Sign up once and get lectures, databases and courses from Carnegie Mellon, its libraries, the Carnegie Library of Pittsburgh and Carnegie Science. Every link checked Oct 24, 2026.

Carnegie Library of Pittsburgh cardeBooks, streaming and research databases from home. Free for Pennsylvania residents; $30 per 2 years out of state.Sign up →POWER Library eCardInstant statewide research databases. Pennsylvania residents.Sign up →CMU Open Learning InitiativeFree self-paced courses in math, logic, computer science and science. Anyone.Sign up →CMU Libraries guest accessIn person with photo ID: on-site databases and 2-hour computer use. Anyone.Sign up →Carnegie Museums membershipFree admission to four museums plus 300+ science centers.Sign up →Carnegie Museums newsletterExhibits, events and science seminars. Anyone.Sign up →Carnegie Science newslettersMonthly newsletter, event alerts and a weekly science digest. Anyone.Sign up →CMU events calendarPublic lectures and seminars.Sign up →

Carnegie Mellon: math

Carnegie Mellon: P vs NP and theory

Carnegie Mellon: physics

CMU Libraries

Carnegie Library of Pittsburgh

Carnegie Science and Museums