Lance Fortnow on the current status and future outlook of solving the P-NP problem.
Just last week the Chinese firm Moonshot AI released its latest open-weight model, Kimi K2.5, which came close to top proprietary systems such as Anthropic’s Claude Opus on some early benchmarks. The ...