
Robinhood创始人再创业研发超级数学AI,已接近国际数学奥赛选手,红杉领投近亿美金
Robinhood创始人再创业研发超级数学AI,已接近国际数学奥赛选手,红杉领投近亿美金人工智能虽然其提供了广泛的信息,却缺乏解决复杂问题所需的深入、结构化的推理能力,同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
来自主题: AI资讯
5168 点击 2024-11-22 14:01
人工智能虽然其提供了广泛的信息,却缺乏解决复杂问题所需的深入、结构化的推理能力,同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
一个创立了自动驾驶公司,一个创立了股票交易平台,这两家公司的创始人凑在一起又会干出什么事儿来呢? 答案是数学超级智能(MSI)。
Harmonic获7500万美元A轮融资,估值3.25亿美元。