Computer science

Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe.

Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.

Descriptive set theorists study the niche mathematics of infinity. Now, they’ve shown that their problems can be rewritten in the concrete language of algorithms.

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do.

If language is what makes us human, what does it mean now that large language models have gained “metalinguistic” abilities?

Recent findings reveal that even simple pricing algorithms can make things more expensive.

The leading approach to the simplex method, a widely used technique for balancing complex logistical constraints, can’t get any better.

The V-JEPA system uses ordinary videos to understand the physics of the real world.

Naomi Saphra thinks that most research into language models focuses too much on the finished product. She’s mining the history of their training for insights into why these systems work the way they do.