Tendencias del momento
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Jasper
Cofundador y CEO @Hyperbolic_Labs. ex-@avax y ex-@citsecurities. Terminé el doctorado en matemáticas en 2 años @UCBerkeley. Medallista de oro de la Olimpiada de Matemáticas. El más alto honor @PKU1898
¡Emocionado de ser el primero en alojar el mejor modelo de codificación Qwen3-Coder en @huggingface! Gracias por su confianza, @Alibaba_Qwen @JustinLin610 @huybery 💜
Hace 23 horas
¡Ahora estamos sirviendo Qwen3-Coder-480B-A35B y Qwen3-235B-A22B-2507 en Hyperbolic!
¡Qwen3-Coder-480B logra resultados comparables a Claude Sonnet 4 en benchmarks de codificación, realmente asombroso!
@JustinLin610 y @huybery son la pandilla 420 en China, ¡sigan enviando modelos hasta las 6 AM hora de China!
¡LFG, IA de código abierto! 💪
1,4K
¡Qué fin de semana tan salvaje sobre IA y IMO! Mirando hacia atrás en los últimos 3 días, fui testigo de:
> Viernes por la tarde: información filtrada sobre DeepMind ganando oro
> Sábado a la 1am: OpenAI adelantó el anuncio oficial, robando el protagonismo
> Inicialmente pensé que Google solo estaba lento debido a la aprobación de marketing
> Luego escuché de personas de Google que IMO y ellos mismos necesitaban más tiempo para la verificación
> Resulta que OpenAI ni siquiera involucró a IMO oficialmente
> Lunes: DeepMind confirmó su oro con respuestas más limpias y estéticas, completamente verificadas por el IMO
Fue divertido ser el primero en compartir la noticia en X el pasado viernes. ¡Qué fin de semana tan salvaje!
Bromas aparte, hay mucho bombo alrededor de la IA matemática últimamente, pero lo que necesitamos más es rigor y estandarización. Como señaló Terence Tao, incluso si los resultados parecen similares, las diferencias en el formato de prueba pueden hacer una gran diferencia. Aún estamos lejos de tener estándares y mensajes claros y consistentes en la investigación de IA.
Si queremos un progreso significativo, es hora de que la comunidad se involucre. Construyamos benchmarks en los que todos podamos confiar.
19 jul, 06:25
Hace solo 20 minutos, se publicó el resultado de la IMO 2025.
China ocupó el primer lugar y @GoogleDeepMind ganó una medalla de oro 🥇
Las futuras competiciones de matemáticas serán el equipo de China contra el equipo chino de EE. UU. contra la IA.
4,82K
DeepMind obtuvo una medalla de oro en la IMO el viernes por la tarde. Pero tuvieron que esperar a que el departamento de marketing aprobara el tuit — hasta el lunes.
@OpenAI compartió el suyo primero a la 1am del sábado y robó el protagonismo.
En este juego, la velocidad > la burocracia. Pierde el momento, pierde la narrativa.
215,05K
Acabo de salir del trabajo y probé Grok-4 en un problema de topología de pregrado. Pensó durante 9 minutos y luego dio una respuesta limpia, plausible, pero totalmente incorrecta 😅
No creo que este califique como "habilidosamente adversarial". Los modelos de IA están aplastando los benchmarks, pero aún queda un largo camino por recorrer para lograr una AGI matemática real.
10 jul, 16:47
Grok 4 está en un punto en el que esencialmente nunca se equivoca en preguntas de examen de matemáticas/física, a menos que sean hábilmente adversariales.
Puede identificar errores o ambigüedades en las preguntas, luego corregir el error en la pregunta o responder a cada variante de una pregunta ambigua.
663,07K
Grok obtuvo la puntuación máxima en AIME 🤯 Definitivamente necesitamos un mejor estándar matemático para la IA ahora.
10 jul, 12:01
Presentamos Grok 4, el modelo de IA más poderoso del mundo. Mira la transmisión en vivo ahora:
3,07K
Parte superior
Clasificación
Favoritos