For a long time, computer scientists struggled to develop artificial intelligence that could solve difficult symbolic math. At best, it could solve high school math problems—and not even well enough ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

There's a strange trend in mathematics education in England. Math is the most popular subject at A-level since overtaking English in 2014. It's taken by around 85,000 and 90,000 students a year. But ...