Penn researchers developed a tool that processes event-camera data at 440 fps, enabling faster robotic vision.

AI can help theoretical computer scientists search for algorithms, proof components, and combinatorial structures. Here’s what recent results show—and why verification still matters.

A new MIT Press book, co-authored by a Philadelphia journalist and a Penn researcher, argues the useful question about AI isn ...

A computer scientist has achieved a breakthrough in a nearly 25-year-old problem involving how computers calculate distances across enormous networks. The new algorithm delivers more reliable ...

The results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” ...

OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The ...

A prominent researcher claims to have a revolutionary approach to “interpretability,” or the science of why A.I. models do ...

Reichman University CEO Dr. Ayelet Ben-Ezer Gelbard warns that outdated teaching methods pose a greater danger than ...

For decades, the gold standard of human movement analysis has lived behind locked laboratory doors: banks of infrared cameras ...

Members of the planning and selection committees discuss award category that honours ‘foundation of today’s world-changing ...

See how AI is changing algorithm discovery, theorem proving, and complexity theory, with real research examples and a clear look at its limitations.

Researchers have released qmatmul, a Python package whose algorithm halves the floating-point multiplications needed for ...