Worried that your latest ask to a cloud-based AI reveals a bit too much about you? Want to know your genetic risk of disease without revealing it to the services that compute the answer? There is a ...

A targeted review of the Australian F-2 mathematics curriculum is now underway to address poor numeracy standards amongst primary students - and it comes with a controversial new priority.

After outgrowing its original home, the National Museum of Mathematics has added new exhibits and an art gallery space in ...

Mental math shortcuts suggest future STEM performance—and gender is a significant predictor What is 29 + 14?

The speed at which artificial intelligence is gaining in mathematical ability has taken many by surprise. It is rewriting what it means to be a mathematician ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Imagine a problem so fiendishly hard that one of the greatest mathematicians of the 20th century publicly mused that even alien civilisations ...