The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

Abstract: Science and engineering problems fall in the category of complex conceptual problems that require specific conceptual information (CI) like mathllogic-related know-how, process information, ...

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

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 ...

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

Abstract: The increasing variety of products has resulted in a rise in production errors, primarily due to more complexity in manufacturing processes. This paper proposes a data-driven inline ...

The Fort Jackson Commissary became a de facto mathematics lab for C.C. Pinckney Elementary School during its annual Math Night at the Commissary event, held Jan. 22. “This helps with their basic math ...

When Mitsubishi made your first cellphone, you know you’ve been around a while. Steve has carried the latest and greatest around in his pocket for nearly 30 years, with everything from Motorola ...