OpenAI’s new FrontierScience benchmark shows AI advancing in physics, chemistry, and biology—and exposes the challenge of ...

Researchers have developed a new way to compress the memory used by AI models to increase their accuracy in complex tasks or help save significant amounts of energy.

Artificial intelligence has moved from checking homework to attacking problems that professional mathematicians once treated ...

Hidden Fibonacci numbers, a new shape and the search for a grand unified theory of mathematics are among our choices for most ...

Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they ...

Mathbots haven’t done much for K-12 math instruction. Can more sophisticated uses of AI succeed in turning around American ...

Abstract: Solving dynamic multiobjective optimization problems (DMOPs) is very challenging due to the requirements to respond rapidly and precisely to changes in an environment. Many prediction- and ...

This course emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, inference rules and satisfiability, proof methods, sets ...

Abstract: The vehicle routing problem with backhauls (VRPBs) is a challenging problem commonly studied in computer science and operations research. Featured by linehaul (or delivery) and backhaul (or ...