Círculo de intercambio de inteligencia artificial

Goedel-Prover-V2 es un modelo de demostración de teoremas de código abierto creado por instituciones tan importantes como la Universidad de Princeton, la Universidad de Tsinghua y NVIDIA. El modelo se basa en técnicas innovadoras como la síntesis jerárquica de datos, la autocorrección guiada por el verificador y el promediado de modelos para mejorar significativamente el rendimiento de las pruebas formales automatizadas....

BytePlus es una plataforma de servicios inteligentes de nivel empresarial lanzada por BytePlus para ofrecer servicios diversificados en el extranjero. La plataforma abarca potentes funciones como distribución y aceleración de contenidos (CDN), recomendación personalizada, realidad aumentada, procesamiento y análisis de datos, comunicación de audio y vídeo en tiempo real, inteligencia artificial y aprendizaje automático.

Flying Book Miaohu es una plataforma de creación de sistemas nativos de IA para empresas lanzada por Flying Book. La plataforma transforma rápidamente los requisitos empresariales en aplicaciones prácticas mediante una arquitectura multiagente, apoyando todo el proceso, desde el análisis de requisitos al diseño funcional, el desarrollo de aplicaciones y la resolución de problemas. Los usuarios utilizan el diálogo para...

Kimi Playground es una plataforma de experiencia de llamada a herramientas de IA para desarrolladores de Dark Side of the Moon.Kimi Playground permite a la IA llamar a una variedad de herramientas (por ejemplo, búsquedas meteorológicas, reservas de hotel, análisis de datos, etc.) para completar tareas complejas, no sólo...

ChatGPT Agent es un agente de IA de propósito general de OpenAI que combina múltiples capacidades para completar tareas complejas de forma autónoma. Los usuarios solo tienen que describir sus necesidades en lenguaje natural, y el Agente puede seleccionar automáticamente las herramientas adecuadas, como navegar por la web, extraer información, ejecutar código...

GLM-Experimental es un modelo lingüístico experimental de gran tamaño lanzado por Wisdom Spectrum AI, que ya está disponible en la plataforma Z.ai. El modelo tiene la capacidad de generar automáticamente PPT. Después de que los usuarios introduzcan temas o puntos clave, el modelo puede generar rápidamente presentaciones claramente estructuradas y formateadas, que...

PromptForge es un potente banco de trabajo de ingeniería de pistas de IA que ayuda a los usuarios a crear, probar y optimizar pistas de IA de forma eficaz. PromptForge ofrece sugerencias de optimización a través de funciones de generación inteligente que admiten comparaciones multimodelo y ajuste dinámico de parámetros,...

VikingDB es una base de datos vectorial nativa en la nube de alto rendimiento lanzada por Volcano Engine, diseñada para el procesamiento masivo de datos vectoriales de alta dimensión.VikingDB tiene una variedad de métodos de escritura de datos, incluyendo escritura síncrona en tiempo real, asíncrona, etc., para satisfacer las necesidades de procesamiento de datos de diferentes escenarios.VikingD...

RoboBrain 2.0 es un modelo avanzado de cerebro encarnado de código abierto que proporciona potentes capacidades de percepción, razonamiento y planificación para robots.RoboBrain 2.0 consta de dos versiones, 7B y 32B, y adopta una arquitectura heterogénea que integra codificadores visuales y modelos lingüísticos para...

RoboOS 2.0 es un marco de código abierto para la colaboración cerebro-cerebro de ontología cruzada, que promueve la transformación de los robots de inteligencia única a inteligencia colaborativa en grupo. El marco utiliza una arquitectura de "cerebro grande" para lograr una división eficiente del trabajo, en la que el cerebro en la nube se encarga de la toma de decisiones complejas y la colaboración, y los módulos de cerebro pequeño se centran en la ejecución de habilidades específicas.