Libraries, tools and repos: releases you depend on and projects gaining stars.
OpenAI dumped a broad range of huge new mathematical results produced by an internal frontier model.
