Tag
An AI system called Theo Conjecture, leveraging a large language model, solved a 35-year-old graph theory problem originally posed by mathematician Paul Erdős, discovering an unexpected term. The system works by proposing, testing, and revising mathematical ideas in a loop.
HBO Max is launching a vertical video feed called 'HBO Max Shorts' that uses AI and human editors to surface trailers, clips, and bonus content tailored to users, initially testing with select iOS users in the US.
An AI model named Fable discovered a counterexample to the Jacobian conjecture, a long-standing open problem in mathematics, by finding a polynomial function that meets the special conditions but is not invertible.
Microsoft released a record 570 security patches for Windows and other software, including 60 critical flaws and three zero-days, attributing the increase to AI-assisted vulnerability discovery.
Trovio For Brands is an AI-powered service that helps brands find communities that love their products.
Codex discovered a remote denial-of-service exploit dubbed 'HTTP/2 Bomb' that targets HPACK compression in major web servers (nginx, Apache, IIS, Envoy, Pingora), chaining a compression bomb with flow-control hold to exhaust server memory quickly.
Today we launch Recursive, an AI company focused on recursive self-improvement and knowledge discovery to advance science and technology.
GPT-5 helped mathematician Ernest Ryu solve a 40-year-old open problem in optimization theory regarding the Nesterov Accelerated Gradient method's stability properties. The breakthrough demonstrates LLMs' capability to assist in significant mathematical discovery by surfacing relevant techniques and ideas from across mathematical literature.