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