AI models' math skills are improving, but there's room to get better.
Add Axios as your preferred source to
see more of our stories on Google.
Illustration: Lindsey Bailey/Axios
Chipmaker Nvidia is joining the list of investors backing Harmonic, a startup focused on AI systems designed to solve mathematical problems.
Why it matters: Large language models are doing increasingly well in math contests, but Harmonic says there's still a big market for AI systems that can formally verify the accuracy of their results.
The Nvidia-backed startup bets mathematics can provide a better test of AI progress.
Axiom's tools get better at math.
The new alliance sharpens the divide between firms selling closed models and companies that benefit from cheaper, customizable AI.
Harmonic's AI model Aristotle solved five of six IMO 2025 problems with verified Lean proofs, marking a major milestone in…
The chip giant appears poised to tighten its ties with OpenAI as it reportedly explores a deal to backstop financing for a…
Harmonic AI advocates for human-defined benchmarks over automated AI evaluation. Here's why crypto and DeFi investors should care…
