Desbloquear y reducir los cuellos de botella provocados por los límites de nuestra inteligencia colectiva abre un futuro fascinante, que poco a poco se empieza a convertir en realidad
@dotcsv
-
Szegedy leads Math Inc automation through advanced AI research
By
–
Una de las mentes brillantes tras esta compañía es Szegedy, que tras su paso por Google y xAI ahora se puesto como objetivo la automatización de las matemáticas. Sin duda su participación y estos resultados es un grandísimo aval para el futuro de Math Inc https://
x.com/ChrSzegedy/sta
tus/1966186676289741117
… -
AI and human experts solve Tao-Kontorovich problem in weeks
By
–
El uso de esta herramienta tan potente en combinación con la experiencia de profesionales humanos, ha permitido en 3 semanas desatascar y completar el reto planteado por Terence Tao y Kontorovich, cuyo progreso había quedado encallado tras 18 meses de trabajo humano!
-
Gauss: Automated Proof Writing and Verification System
By
–
Gauss es un sistema de autoformalización que escribe y verifica automáticamente pruebas en Lean, trabajando ininterrumpidamente durante horas. Gauss ejecuta el verificador, detecta fallos y propone correcciones -todo en bucles automáticos y a gran escala: Según el anuncio el
-
Math Inc launches Gauss: AI-powered mathematical discovery platform
By
–
¡GAUSS, MATEMÁTICAS CON IA! Surge una nueva compañía, Math Inc, con la noble misión de automatizar con IA los descubrimientos en matemáticas Su lema: "Solve math, solve everything" Y ayer presentaron en un blog los resultados de su primera investigación, Gauss, y ojito!
-
Qwen3 Model Matches or Exceeds Larger Family Models
By
–
A la par o superando incluso a otros modelos más grandes y pesados de la familia Qwen3
-
Midudev discusses AI developments in live streaming session
By
–
En 15 minutillos me conecto con el gran Midudev para charlar de IA, os veo allí!
-
Image Generation Model Excellence with Proper Prompt Engineering
By
–
Aparte de estas ediciones puntuales, como modelo de generación de imagen, se vé que bien prompteado es un modelo precioso!
-
AI Models Enable Spectacular Editing Through Simple Prompts
By
–
Al final del día qué pasada contar con modelos así que a golpe de prompt te permitan hacer ediciones tan espectaculares!
