One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

The currents of the oceans, the roiling surface of the sun, and the clouds of smoke billowing off a forest fire—all are ...

Large language models (LLMs) can suggest hypotheses, write code and draft papers, and AI agents are automating parts of the research process. Although this can accelerate science, it also makes it ...

LLMs tend to lose prior skills when fine-tuned for new tasks. A new self-distillation approach aims to reduce regression and ...

Metals are made of randomly oriented crystals at the microscopic-length scale. The alignment of the crystal faces creates an infinite number of configurations and complex patterns, making simulations ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

The team used an AI method known as equation discovery to develop a model to simulate the interactions between small eddies—circular, vortex-like currents—and large-scale ones. These interactions are ...

The real problem is not technical change but the human changes that often accompany technical innovations. by Paul R. Lawrence One of the most baffling and recalcitrant of the problems which business ...

The method has two main features: it evaluates how AI models reason through problems instead of just checking whether their ...