What's up in
Computer Science
Latest Articles
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
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.
In a First, AI Models Analyze Language As Well As a Human Expert
If language is what makes us human, what does it mean now that large language models have gained “metalinguistic” abilities?
The Game Theory of How Algorithms Can Drive Up Prices
Recent findings reveal that even simple pricing algorithms can make things more expensive.
Researchers Discover the Optimal Way To Optimize
The leading approach to the simplex method, a widely used technique for balancing complex logistical constraints, can’t get any better.
How One AI Model Creates a Physical Intuition of Its Environment
The V-JEPA system uses ordinary videos to understand the physics of the real world.
To Understand AI, Watch How It Evolves
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.
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
In cellular automata, simple rules create elaborate structures. Now researchers can start with the structures and reverse-engineer the rules.
‘World Models,’ an Old Idea in AI, Mount a Comeback
You’re carrying around in your head a model of how the world works. Will AI systems need to do the same?
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.