Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's ...

Researchers at MIT's CSAIL published a design for Recursive Language Models (RLM), a technique for improving LLM performance on long-context tasks. RLMs use a programming environment to recursively ...

This is “bigger” than the ChatGPT moment, Lieberman wrote to me. “But Pandora’s Box hasn’t been opened for the rest of the ...

Anthropic’s Cowork brings Claude Code–style AI agents to the desktop, letting Claude access and manage local files and browse ...

Recursion Pharmaceuticals' AI-based approach has the potential to transform the pharmaceutical industry. However, it is still chasing clinical wins that would demonstrate the power of its strategy.

Abstract: Mathematics is filled with conjectures that involve infinite recursive structure, representing complex structures and underlying deep relationships. Discovering such conjectures is crucial ...

Investors in Recursion (NASDAQ: RXRX) seemed only mildly fazed by Wednesday’s series of company announcements. The artificial intelligence (AI)-based drug developer’s stock barely moved on Wednesday, ...

Recursion, Roche, and its Genentech subsidiary have unveiled the latest product of their nearly four-year artificial intelligence (AI) drug discovery collaboration, a whole-genome map of specialized ...

Recursion Pharmaceuticals uses AI to expedite the laborious process of developing drugs. The company could benefit from industry-wide regulatory changes as well as its own clinical progress. However, ...

Rallybio Corporation (Nasdaq: RLYB), a clinical-stage biotechnology company translating scientific advances into transformative therapies for patients with devastating rare diseases, today announced ...