edición general
Gotnov

Gotnov

En menéame desde enero de 2007

9,45 Karma
1.992 Ranking
Enviadas
Publicadas
Comentarios
Notas

El próximo modelo de OpenAI, Astra, acaba de resolver diez problemas abiertos de matemáticas con décadas de antigüedad [270]

  1. #193 Ups. Veo que el debate ha tornado de constructivo a ego herido.

    Por mi parte lo dejo aquí. Un saludo :shit:
  1. #92 Como ya te han dicho, el desacuerdo es sobre todo semántico: separas artificialmente el LLM del verificador y del sistema para concluir que "el LLM no crea nada".

    Pero esos verificadores y herramientas ya existían y, por sí solos, no generaban descubrimientos. Lo nuevo es que el LLM propone hipótesis y soluciones que después se comprueban.

    Un LLM aislado puede ser poco fiable, pero un sistema basado en LLM puede detectar un problema, proponer una solución, diseñar una prueba y verificarla. Si el resultado es nuevo y correcto, ha producido conocimiento nuevo. Que necesite verificación no lo invalida. Que necesite un sistema tampoco. La ciencia humana también los necesita.
  1. #20 No es necesario recurrir a ninguna "magufada". Un LLM no funciona como una base de datos que recupera una respuesta almacenada literalmente. Durante el entrenamiento aprende regularidades, relaciones y procedimientos; durante la inferencia puede combinarlos para generar candidatos que no estaban presentes como tales en sus datos.

    El mecanismo utilizado en los casos más sólidos es bastante concreto: el LLM propone programas, construcciones o pasos de razonamiento; un evaluador automático los ejecuta o comprueba; se conservan los mejores resultados y el proceso se repite. Así funcionan sistemas como FunSearch y AlphaEvolve.

    FunSearch encontró construcciones nuevas para problemas matemáticos abiertos que superaban las mejores conocidas. 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.

    Por tanto, sí: los sistemas basados en LLM pueden producir resultados nuevos. El verificador es fundamental para garantizar que sean correctos, pero no es quien propone la construcción. Confundir generación con verificación sería como afirmar que una demostración la crea el revisor que comprueba que no contiene errores.

    Otra cuestión diferente es si un LLM aislado, sin búsqueda, herramientas ni verificación, puede generar de forma fiable descubrimientos correctos. Ahí la respuesta todavía es mucho más limitada.

Volkswagen pide a la UE aranceles urgentes contra los híbridos enchufables chinos [175]

  1. #53 El problema es que China ya se ha convertido en un gran mercado para las marcas europeas, y entrar en una lucha significa quedarse igual en el mejor de los casos, y en algunos de ellos directamente perder.
  1. #2 Te lo compro, pero los coches chinos también tienen fuertes ayudas de su gobierno. Tambien se debe decir.

Así es la conexión Starlink para móviles detectada en los incendios de Ávila: 0,585 mbps y 376 ms de ping [12]

  1. #9 Eso es, yo creo que lo que hace Starlink con sus satelites es mandar 4G normal y corriente por la frecuencia 2700mhz como hace una torre de telecomunicaciones normal

China causa pánico en Silicon Valley. China ha convertido la IA en un bien público, ¿por qué entra en pánico Silicon Valley? [160]

  1. Media economía (exagerando un poco) de USA está invertida en IA con esperanzas de que sea rentable. Con China abriendo todo, eso se les complica un poco más.

¿Qué es Kimi K3 de China y por qué preocupa tanto a Estados Unidos? [42]

  1. Kimi K3 es básicamente Claude destilado por los chinos y publicado en open source.

    Es decir, toda la inversión que hace Anthropic y OpenAI, la destilan a base de prompts y crean un modelo ligeramente inferior pero open source.

    Eso evidentemente les jode.

    Lo vería mal si Anthropic y OpenAI no hubiesen usado todo internet sin pagar un solo derecho, pero después de todo lo que se han petado, me la pela.

Los aficionados argentinos, los endeudados del Mundial: "Voy a vender el auto" [131]

  1. #24 Seguro que tú sólo comentas tu vida

De trabajar sin papeles a firmar su primer contrato gracias a la regularización [100]

  1. #9 Viendo mi entorno me parece que los parados que hay no son porque no puedan trabajar, sino porque tienen unas condiciones lo suficientemente buenas como para que no les compense.

    Trabajo como bien dices, lo hay, y mucho.

La OTAN busca frenar el Made in Europe [68]

  1. #10 ¿Por qué no íbamos a poder competir con EEUU en cualquier cosa que nos planteáramos?

    Tenemos que ir quitándonos ese complejo de inferioridad que tenemos los europeos.

Desanonimización en línea a gran escala con modelos de lenguaje grande (LLM) [ENG] [50]

  1. Si algo bueno se puede sacar de esto, es que definitivamente nos aleja de ser NPC.

El fin de la programación como la conocemos [162]

  1. #101 Google Analytics ya tiene Gemini integrado, pero estas cosas a mi no me convencen, puesto que son añadidos a unas UI que no han sido pensadas para trabajar de ese modo...

Cesar y Josef, los alemanes que tienen un imperio de 3.400 apartamentos turísticos en 20 ciudades en España [199]

  1. #132 Podría ver algunas excepciones como la que dices. Muy controladas.
  1. Hear me out:
    El 50% de la vivienda en españa está en manos de individuos con más de tres viviendas, empresas o fondos

    Si les obligamos a vender en menos de dos años o se les expropia hasta tener un máximo de:
    - Máximo 3 viviendas por individuo (en china es 1)
    - Cero por empresa
    - Cero por fondo

    ¿Hasta cuando bajaría el precio?

    No hay más preguntas.

EE.UU. confirma 4 muertos entre los 6 tripulantes del avión cisterna que se estrelló en Irak [45]

  1. #4 Irán seguirá bombardeando los países del golfo

Trump reconoce que EEUU hace caja con el bloqueo del estrecho de Ormuz: “Cuando los precios del petróleo suben ganamos mucho dinero” [83]

  1. Ya estamos tardando en electrificar absolutamente todo y llenar todo de placas solares, baterias, y alguna que otra planta nuclear.

Una nueva hipótesis sugiere que el universo entero podría ser el interior de un agujero negro y que la expansión cósmica es solo su dinámica interna [52]

  1. ¿Entonces hay agujeros negros dentro de un agujero negro gigante?

Los grandes tenedores solo podrán comprar edificios para alquiler asequible y no para especular en Catalunya [108]

  1. Bien. ¡Bajarán las viviendas al ser menos especulativas y podré comprar hasta tener las 5!

Los hombres con un coeficiente intelectual alto tienden a ser menos conservadores que sus pares promedio, según un estudio [ENG] [157]

  1. #42

    1. Las personas con alta inteligencia no tienen posturas políticas más extremas ni radicales que el resto de la población; tienden también a posiciones moderadas.

    2. No existen diferencias significativas en liberalismo, socialismo o libertarianismo económico entre personas superdotadas y no superdotadas.

    3. La única diferencia encontrada fue que los hombres no superdotados mostraron mayor conservadurismo que los hombres superdotados, algo que no ocurrió en mujeres.

La dirección de ERC cierra la puerta a la candidatura conjunta de izquierdas que quiere Rufián: “Si él quiere ser candidato lo será” [98]

  1. Aquí un votante de ERC que en las próximas elecciones dirá adiós a... ERC.

Dinamarca confirma que responderá militarmente si EEUU decide atacar Groenlandia [224]

  1. #6 Es lo que debe hacer Dinamarca. El mundo sólo la apoyará si se toma en serio defender su territorio.

Pedro Sánchez pide elecciones en Venezuela y tacha de ilegítima la maniobra militar de los EEUU en Venezuela [167]

  1. #3 ¿No dice EEUU que controla Venezuela? Pues que permitan que la ONU o quién sea que verifica las elecciones haga ese trabajo.

Putin dice que no habrá más guerras en el futuro si Occidente trata a Rusia "con respeto" [201]

  1. Una cosa.

    ¿Esto de decir "No os aliéis entre vosotros o os pego" no es un poco de bullie?

    Entiendo que pueda decir que se lo prometieron y han sudado, pero también prometió rúsia proteger ucrania a cambio de dar sus nukes y ya vemos como la ha protegido.

    Y como esto otras tantas promesas.

Europa se toma en serio la idea de cortar el cordón umbilical digital con las grandes tecnológicas del Tío Sam [EN] [106]

  1. En europa vamos sobrados de desarrolladores y programadores.

    Lo único que le ha faltado a europa es el mismo proteccionismo que ha hecho china respecto a los productos digitales de USA.

menéame