Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.

A sixth grade math teacher explains how TikTok helped her engage students, support parents, and build a massive following beyond the classroom.

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

I traded the static results of Flash Fill for dynamic formulas that update automatically.

Russell (Rust Scientific Library) assists in developing high-performance computations involving linear algebra, sparse linear systems, differential equations, statistics, and continuum mechanics using ...

Abstract: Software-based fault tolerance enables the usage of standard hardware in safety-critical applications. Arithmetic coding is a promising approach for fault tolerance and is already used in ...

Cryptographic hash functions secure data by providing a unique fixed-length output for each input. These functions are essential in blockchain for data integrity and secure transactions. Understanding ...

Masaki Kashiwara has won the 2025 Abel prize, sometimes called the Nobel prize of mathematics, for his work on algebraic analysis. Kashiwara, a professor at Kyoto University, Japan, received the award ...

The human brain not only remembers who other people are, it also uses basic mathematical functions called basis functions to store information about how people interact — for example, how they work ...