The team's automated reasoning research aims to build algorithms that allow computers to perform logical reasoning. The output of these algorithms is traditionally binary: satisfiable or unsatisfiable ...

Scientists have made a significant leap in developing lasers that use sound waves instead of light. These phonon lasers hold promise for advancements in medical imaging, deep-sea exploration, and ...

Event highlights faculty studies on AI’s role in education, and AI-driven research in fields ranging from oncology to visual arts ...

Four NYU assistant professors each won $75,000 to complete a two-year research project after being named Sloan Research ...

Fifty-four seconds. That’s how long it took Raphael Wimmer to write up an experiment that he did not actually perform, using a new artificial-intelligence tool called Prism, released by OpenAI last ...

For people, matching what they see on the ground to a map is second nature. For computers, it has been a major challenge. A Cornell research team has introduced a new method that helps machines make ...

The Boston College Computer Science Department will offer a new doctoral program that will welcome its first cohort of degree candidates in the fall of 2026—a move that will expand the department’s ...

At M.I.T., a new program called “artificial intelligence and decision-making” is now the second-most-popular undergraduate major. By Natasha Singer Natasha Singer covers computer science and A.I.