Midas wants AI systems to prove that confident-sounding responses are actually right

If you use generative AI tools, like ChatGPT and Google Gemini, you'll know they produce confident-sounding results, often without any actual evidence to back them up. Midas is a new company, backed by investors connected to OpenAI, Tesla, and SpaceX, that is building mathematical verification tools that can check whether those results are actually correct. The New York based company has closed a $10 million funding round led by Valor Equity Partners and Nova Global, alongside additional backers with experience building large scale technology companies. Midas' mathematical infrastructure verifies AI systems before outputs are allowed into real world use. Formal… [Continue Reading]