It’s a bright day for computing — literally. Two tech companies have unveiled computer components that use laser light to process information. These futuristic processors could soon solve specific ...

Computer scientists often assume that the brain works by approximations, and therefore that computing hardware inspired by the brain won’t be as good at complex math as traditional hardware.

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

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

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...