OpenAI 01是一系列AI模型,专注于复杂任务推理和解决科学、编程、数学等领域难题。提供免费积分和付费计划,支持多模态功能,如图像分析、文件内容读取、图像生成和互联网搜索。在多个性能基准测试中表现优异,适用于医疗、物理、开发等领域的专业人士。
- 总部:N/A
- 成立年份: N/A
- 公司员工:N/A
Imandra Inc. 是一家专注于提供逻辑推理服务的人工智能公司。公司主营业务包括通过自动化逻辑推理技术,帮助用户将大型语言模型(LLM)的思考转化为逻辑表达,以消除推理中的幻觉、增加信任并展示合规性,以及扩展推理的深度。Imandra 的技术被应用于金融、法律、军事等多个领域,旨在通过精确的审计推理,将不透明的模型转化为透明的模型,让用户和开发者能够清晰地看到响应中涉及的假设和结论。
- 总部:1400 Congress Ave
- 成立年份: 2014
- 公司员工:11-50
chat01.ai的主要用户来自德国,占比高达42.7%,其次是白俄罗斯、俄罗斯联邦、中国和荷兰,占比分别是23.74%、6.5%、9.84%和3.67%。
Imandra的主要用户来自美国,占比高达67.34%,其次是英国和埃及,占比分别是14.96%和12.66%,然后是乌拉圭和巴基斯坦,占比分别为3.24%和1.80%。