#147 Hombre, la gracia está en que Broncano no es tartamundo...
Es el hecho de haberse cagado pata abajo lo que le trabó y lo que hace la chanza, no que tu hijo sea tartamudo. Nadie de aquí se ha metido con tu hijo.
#147 he pedido a la administración que borre los mensajes, pero estoy seguro que tu hijo conseguirá brillar como pocos cuando venza esto, que se que lo hará.
#147 disculpame, no es una broma sobre ese problema que evidentemente no tiene broncano. Sino por su nerviosismo y falta de saber hacer para ser un comunicador que gana un pastizal. Un abrazo a ti y a tu hijo.
#59 Pero China no paga, por ejemplo, pensiones públicas como en España. Son muchísimo más bajas y de subsistencia, aunque la edad de jubilación es más baja ( cosa que no les va a durar mucho porque ya piensan irlo cambiando ante el problema demográfico) . El sistema sanitario o las prestaciones por paro tampoco tienen nada que ver con las nuestras. La sanidad pasa por un modelo de copago de servicios. Y el paro tampoco tiene el nivel de protección nuestro. Y como eso muchas cosas en temas de gasto local y estado del bienestar general.
China puede ser comunista en ciertos aspectos, pero la protección social está muy lejos de la de un país europeo. Y eso hay que pagarlo con impuestos.
#148 Esa es la sociedad que han conseguido que tengamos: si no opinas como yo eres un fascista o si es el lado contrario, eres un guarro de izquierdas, pero no opines...
#17 hombre, desde luego yo creo que los protocolos de sitauciones de excepción (como "ha fallado la seguridad automática) deberían tener al menos dos personas en linea.
Tengo qeu decir que en mi opinión, que el protocolo sea una mierda no es culpa de los políticos, es culpa de los expertos que lo pusieron en marcha.
La única culpa que puedo ver en los políticos es si el sistema automático falló por falta de mantenimiento, o si se podría tener un segundo sistema que no se tiene por falta de inversion o algo del estilo. Que un trabajador o un grupo de trabajadores se confundan, o que un protocolo no sea suficienmente seguro, no.
#23 y regular los alquileres. Con la potencia de cálculo que maneja hacienda es relativamente fácil comprobar que el alquiler coincide con lo que cuesta el piso. El dueño presenta una lista de gastos y el alquilado lo que paga de alquiler. Lo que pase del coste de mantenimiento paga impuestos como si lo fueran a prohibir.
Que sí, que se inventaría una picaresca porque esto ES ESPAÑA!!! Pero como con todo, lo que hay es que perseguir la corrupción y chanchullos no aceptarlos y legalizarlos de facto
#169 no ha asumido nada, ha dicho que lo de Ávalos fue una decepción, de Cerdán creo que no dijo ni pío.
En C anto a lo Ceuta,no hay ningún motivo para hacer lo que dices que hay que hacer, pero por ahora es territorio español y el Estado no ha estado a la altura.
Entiendo que en el resto de asuntos, estás de acuerdo
#86 ¿En Ceuta estaba Junts? ¿En el nombramiento de Ávalos y Cerdán estaba Junts? ¿qué a su hermano le dieran una plaza también estaba Junts? ¿En amedrentar a una jueza también estaba Junts? Y en las que ha estado Junts ha sido porque Sánchez ha querido gobernar como sea.
#58 hay muchas zonas que solo te llega el 3G, y no es un problema de dinero, es de tacañería. El mantenimiento de las antenas está subcontratado a Eulen en media España y con barbaridades como un equipo de 5 técnicos para toda la provincia de Tarragona
#135separas artificialmente el LLM del verificador
¿Por qué artificialmente? Son cosas distintas, como un tocadiscos lo es de una cafetera.
De hecho, el bucle que llama al LLM recibe la respuesta del LLM y a continuación llama al verificador y construye el nuevo prompt para el LLM de acuerdo con lo que el verificador diga.
No sé cómo te creías que funciona un agente. Informa por favor. Me tienes intrigado.
Pero esos verificadores y herramientas ya existían y, por sí solos, no generaban descubrimientos.
Como que el LEAN ese es un lenguaje de programación. Por sí solo no hace nada. Hace falta que alguien escriba un programa y lo compile. Perdona que insista, pero ¿Has mirado nunca LEAN?
el LLM propone hipótesis y soluciones que después se comprueban.
El LLM va proponiendo el nuevo paso de la demostración. El verificador dice si eso es coherente o no. Si lo es, se le pide al LLM el siguiente paso de la demostración. Si no lo es, se le pide que retroceda un paso en el árbol de posibilidades. Puedes mirar cómo funciona un modelo de ajedrez, es exactamente lo mismo.
Por si acaso te habías pensado que la verificación es un único paso final, pues no. Se llama al verificador millones de veces durante la construcción de la demostración.
Una vez más por favor, preguntadle a alguna IA cómo funciona. No hace falta que me creais a mi (Dunning-Kruger). Es un prompt de dos o tres líneas en el idioma que más os mole. Puedo aguantar la ignorancia, pero es cansado si es muchas veces. Soy humano sólo. Un poco de por favor. ¿Sabeis usar un chat de IA? Claude, Gemini y ChatGPT (por orden) son todos muy recomendables.
Si necesitas ayuda para construir el prompt, te ayudo encantado. Es minuto y medio.
#60Un LLM no funciona como una base de datos que recupera una respuesta almacenada literalmente.
No sé qué te crees que estás contando. Cuando digo que se limitan a copiar de sus entradas (algo obligatorio para un ordenador), estoy explicando lo QUÉ hacen, no CÓMO lo hacen. Qué sííí, que los parámetros, la backpropagation, etc. En definitiva todo eso sirve para seleccionar de la entradas que se han tragado y copiarlo a la salida.
Las regularidades las aplana, sí, que para eso es una red neuronal. Se llama compresión de datos con pérdida. Inferencia no, una red neuronal no puede hacer inferencias. Sólo recupera respuestas aprendidas. No es lo mismo.
Los motores de inferencia son otra cosa, mira por ejemplo eso del LEAN, que lo hace. Por lo demás es un lenguaje de programación curiosamente parecido al Python.
Cuando se dice que es como una base de datos, no significa que sea una BD SQL ni una BD jerárquica. Se refiere a la idea de alamacenar datos. Otra cosa aparte es que sí que se puede interrogar a un LLM con SQL. Si haces esto te da cuales tokens están cerca de otros y cosas así.
el LLM propone programas, construcciones o pasos de razonamiento
Sí que lo hace. Pero exclusivamente los programas, construcciones y los pasos de razonamiento que están presentes en su entrenamiento. Los copia a su salida.
AlphaEvolve encontró, entre otros resultados, un algoritmo de 48 multiplicaciones para matrices complejas de 4×4, mejorando por primera vez en 56 años el resultado anterior para ese caso.
Pues es el mismo mecanismo de hacerle hacer iteraciones. Se necesita un verificador para que pueda salir algún resultado. Los "agentes" son también hacerle hacer iteraciones, pero en casos donde no es posible un verificador. Ahí es donde los LLM patinan muchísimo. En los casos donde pueden pillar un procedimiento entrenado que seguir, hacen una cantidad de trabajo brutal, pero siempre patinan por algún lado y el resultado… » ver todo el comentario
#5 “ Kimi K3 es básicamente Claude destilado”. tienes que saber más que el ceo de Anthropic porque ya ha dicho que es imposible conseguir un modelo de esa calidad con destilado.
#5 Yo es que alucino en serio! ¿Eres ingeniero de IA? ¿Progamador senior? No es un destilado por mil razones, yo mismo estoy ahora de revisor en un paper que compara Kimi K3 gracias a un acuerdo con Moonshot que no viola las declaraciones de intereses, comparando con los resultados de un famoso estudio realizado en LATAM para diagnosticar infecciosas con historiales completos, aplicando misma metodología e historiales (no los resúmenes, que es como se hacía hasta ahora condicionando los modelos, o sea, pruebas DE VERDAD) y tan solo en la fase de anamnesis para pedir las pruebas ya superaba practicamente al resto de modelos con razonamientos imposibles de generar por destilación o lo que sea porque para comenzar empleas mal el término 'destilado' y no te ofendas, no lo digo para negar tus conocimientos en el tema, pero ya solo por el timming es FISICAMENTE IMPOSIBLE!!! luego, enlazando con #1,#2 y #3 veréis, llevo media vida en el tema, he escrito y hablado del tema en podcast, videos, ponencias en congresos, etc (siempre desde mi ámbito, que es la medicina, lo he dicho publicamente por aquí muchas veces) escucho muchos podcast como el Test de turing, conocido por toda la comunidad o sigo a chavalines con ganas como los de "monos estocásticos" y muchos más, que saben cualquiera mil veces mas que un junta letras de la CNN pese a que a veces alucinan más que GPT en 2022. Y me jode mucho ya el tema de las portadas!!! os lo explico claro y sencillo desde la experiencia: Hace unos días publicamos un artículo e hicimos un podcast en inglés que considero muy bueno sobre Kimi K3 con cientos de miles de visitas en Youtube, millones de impresiones y cientos de miles de clics, además de resúmenes para RRSS y varias publicaciones asociadas (esto último según la community que lleva el analitics, search console, etc yo paso, me lo creo y punto, no tengo tiempo para más ni me importa, tenemos que ayudar a hacerlos y punto, es parte del trabajo y lo entendemos) No… » ver todo el comentario
#5 Si te lees el artículo, los expertos en desarrollo dicen que no es producto ni de ingeniería inversa ni de utilizar los resultados de ninguna otra IA porque en ese caso el timming habría sido otro totalmente diferente. Es plenamente original. Que le den a USA y sus falsas acusaciones.
Es el hecho de haberse cagado pata abajo lo que le trabó y lo que hace la chanza, no que tu hijo sea tartamudo. Nadie de aquí se ha metido con tu hijo.