Terra AI, which develops AI models for mining companies to better map underground resources, raised a $20M Series A led by Khosla Ventures (Katie Fehrenbacher/Axios)

Katie Fehrenbacher / Axios: Terra AI, which develops AI models for mining companies to better map underground resources, raised a $20M Series A led by Khosla Ventures — Mining AI startup Terra AI closed a $20 million Series A led by Khosla Ventures and including the VC arm of mining giant BHP, CEO John Mern tells Axios Pro.