由OpenAI、特斯拉和SpaceX投资者支持的初创公司Midas正式公开亮相，宣布完成1000万美元融资，由Valor Equity Partners和Nova Global领投。该公司致力于构建数学验证基础设施，推动人工智能从“看似合理”迈向“可证明正确”，以解决AI系统可信度的核心难题。 Midas由11位国际数学奥林匹克（IMO）和国际信息学奥林匹克（IOI）金牌得主联合创立，团队成员来自高盛、谷歌、亚马逊云、英伟达、Jane Street等顶尖机构，拥有斯坦福、MIT、剑桥、普林斯顿、杜克等世界名校背景。他们将形式化数学验证技术应用于AI，确保系统输出在逻辑上可被严格证明，而非依赖概率或直觉。 公司联合创始人兼总裁Shalim Monteagudo-Contreras指出：“现代AI能生成流畅、可信的回答，却无法证明其正确性。Midas要建立的，是概率输出与真实系统之间的屏障——让结果不是被推测、争论或期待，而是被数学证明后才允许通过。” CEO兼联合创始人Renzo Balcazar强调：“人类社会的法律、科学与金融都建立在证据之上，而AI是首个在无证据机制下大规模运行的智能形式。它输出结果却不解释，自信却不说明因果，这正是当前风险所在。”随着AI生成速度远超人工审查能力，仅靠“流畅”已无法保证安全，必须从源头引入数学证明。 Midas的创新在于将验证机制嵌入AI系统底层，而非事后纠错。技术负责人Rodrigo Porto表示，唯有在推理之初就建立数学证据，才能应对日益复杂的系统，实现真正可信赖的AI部署。 该平台将率先应用于生物医药、国防、硬件设计、金融系统及底层AI与云基础设施等对准确性要求极高的领域。Valor Equity Partners副总裁John Stanton指出：“验证是AI生态最后一块缺失的基础设施，Midas的‘证明优先’理念，正是其区别于传统AI的关键。” Nova Global创始人Carlo Agostinelli评价称，Midas的创始团队已具备历史级影响力，他们正解决AI最根本的挑战——信任问题。其“原生可证明”的技术路径，兼具技术深度与市场契合度，有望成长为一代改变行业的企业。 Midas并非短期产品迭代，而是一场结构性变革。在关键领域，正确性不是优化目标，而是基本前提。公司官网为trymidas.ai。