
Physics student @USAL · AI & science
🇪🇸
Joined August 2022
- Tweets533
- Following475
- Followers656
- Likes1.6K
Pinned Tweet
We've fixed science.
For too long, finding the paper that changes how you think meant knowing exactly what to search for.
PaperTok ends that. It learns how you read, and the right papers find you.
Este domingo terminan los 28 días de releases de Tibo, y todo apunta a que podrían culminar con el lanzamiento de un gran modelo.
En los últimos días han surgido filtraciones sobre GPT-6.2 Bel, un modelo aparentemente enorme que, según algunos rumores, habría sido catalogado internamente como AGI. Evidentemente, nada de esto está confirmado, así que conviene cogerlo con pinzas.
Por otro lado, llevamos semanas esperando el lanzamiento del prometedor Fable 5.5. Mi teoría es que han estado esperando al lanzamiento de un modelo realmente potente para presentarlo y volver a situarse por delante de la competencia.
Y con su IPO aparentemente más cerca que nunca, la próxima semana podría ser una de las más importantes en la historia de la IA.
mugar retweeted
Para los judicialistas, el Derecho no es un producto de la potestad estatal, sino de la autoridad de los hombres prudentes que saben resolver casos, de los autores de Derecho. Así se resuelven cuestiones jurídicas particulares cooperando al bien común
We’re looking for STEM students from all around the world to try out PaperTok and share their feedback!
Undergrads, postgrads, PhD students… everyone is welcome!
We’re building this for people like you, and your feedback could help shape its future.
DMs are open!
If u wanna give PaperTok a try, here's the link!
Would love to hear your feedback :)
papertok.app
mugar retweeted
We’re looking for STEM students from all around the world to try out PaperTok and share their feedback!
Undergrads, postgrads, PhD students… everyone is welcome!
We’re building this for people like you, and your feedback could help shape its future.
DMs are open!
Starlink Mobile is providing free connectivity to @orange_es and @Telefonica customers affected by the devastating train collision in Spain. Families, communities, and businesses with compatible LTE phones can stay connected via apps and texts even when cell towers are down 🛰️📱
Such an interesting paper! Definitely worth a read
papertok.app/paper/YXJ4aXY6M…
A los trabajadores de Google les obligarán a usar antigravity o habrán aceptado ya la derrota y les dejarán usar claude code/codex?
mugar retweeted
I did say we'd be releasing our models periodically...introducing Gemini 4 Carbon, our next frontier model.
Following Argon's release just two weeks ago, Carbon shows the pace at which we’re pushing the frontier, it ranks #1 on the recently updated v5.0 of @ArtificialAnlys Intelligence Index at 59. It also leads across key cybersecurity evaluations scoring 88.2% on SEC-bench Pro for finding vulnerabilities, 54.8% on ExploitGym for exploitation, and 71.0% on CWE-bench for patching.
We’re seeing significant improvements in long-horizon tasks even compared to Argon, and we’ve strengthened frontier safeguards.
As we did with Argon, we’re going to roll it out gradually + responsibly. Some trusted cyber defenders will get access starting this week. We'll be expanding it to more partners through our Fairwind Program, ahead of wider availability soon, so hang tight!
Supuestamente, se han filtrado los resultados de Fable 5.5 en FrontierCode 2.0 bajo el nombre en clave "Obsidian 3". Honestamente, no creo que sea Fable 5.5: el salto en capacidades es demasiado pequeño en comparación con el aumento de precio. Es probable que sea tan solo una versión prematura de Fable 5.5 o un nuevo modelo de otra empresa
mugar retweeted
we've formalized CFSG, widely considered the largest theorem in mathematics!!
just over a year ago, i remember being amazed that autoformalization agents could write 100-line proofs in an hour. for cfsg, our agent swarm wrote ~50m lines of code in about 24 days 🤯
mugar retweeted
Woldemar Voigt was the first recorded human to discover the invariance of light postulate FOR ANY GENERIC WAVE EQUATION by utilizing “Lorentz” transformations before Lorentz himself had even conceived them.
And then was promptly forgotten by history, until now I guess.
Huge shoutout to Dialect for this remarkable livestream youtube.com/watch?v=S5W5i1fU…
Classical wave-mechanics is still making waves hundreds of years later, love to see it
Últimamente me estoy dando cuenta de que mucha gente se ha quedado atascada en las funciones de la IA de 2022. La gente sigue usando chatgpt para preguntarle dudas o para pedirle una receta, pero poca gente conoce realmente lo que se puede hacer con esta tecnología hoy en día.
Generalmente, las personas que no son del sector científico-tecnológico desconocen la capacidad agéntica de la IA: que puedes pedirle que use tu ordenador para enviar una tanda de emails, que puede ordenarte las carpetas, etc. Y estos usos que pongo como ejemplo son de las cosas más simples que puede hacer.
La gente no es consciente de que con claude code, codex, cursor, antigravity... puede desarrollar herramientas de muchísima utilidad para su trabajo, sin tener ni idea de programación y sin leer ni una sola línea de código. Esto es algo que hace 5 años era completamente impensable: que una persona al uso pudiera crear sus propias herramientas en un periodo de tiempo relativamente corto sin tener ni idea de programar.
Por ejemplo, el otro día, navegando por aquí, me encontré con un estudiante que había hecho fine-tuning de un modelo para que entendiera su letra y así le pudiera transcribir sus apuntes directamente a latex. Y, si no me equivoco, todo esto lo hizo con codex.
Me da pena que este uso de la IA, que puede ayudar a tantas personas, sea tan desconocido. Si sigue así, parece que la capacidad agéntica será una habilidad que usarán, prácticamente, solo personas del área científica.
Creo que, en el futuro, los sistemas operativos incorporarán una IA capaz de gestionar archivos y hacer otras tareas cotidianas, y eso ayudará a que más gente se familiarice con los agentes. Pero, en mi opinión, su potencial va mucho más allá: que cualquier persona pueda crear sus propias herramientas, adaptadas a lo que necesita en su trabajo, sin saber programar.
mugar retweeted
¿Sabes qué antenas de telefonía móvil tienes cerca de casa?
He hecho Celda, un mapa de España con los 35.717 emplazamientos de antenas (azoteas, torres, farolas…) que tiene registrados el Ministerio, actualizado cada mes.
Busca tu calle y mira a nombre de qué compañía está registrado cada uno, en qué bandas emite y qué ha medido el Ministerio a su alrededor.
Os dejo el enlace abajo ⬇️
mugar retweeted
"The Linear Algebra Behind Google" is a short paper that explains the mathematics behind Google's original PageRank algorithm.
The paper covers eigenvalues and eigenvectors, stochastic matrices, Markov chains, and iterative methods, using numerical examples and graphs to illustrate how PageRank works.
Beyond the algorithm itself and the original paper by Larry Page and Sergey Brin, this is an interesting read for anyone curious about how linear algebra applies to one of the most influential algorithms in the history of the web.
sites.cs.ucsb.edu/~gilbert/c…
Veo que hay muchos estudiantes que me siguen, así que os voy a pasar un poco mi rutina de estudio como estudiante de 2º de Física para ver si os es de utilidad.
Para empezar, me gusta ir mirándome el temario y tenerlo un poco al día, aunque no siempre es posible. Suelo priorizar las asignaturas más pesadas, las que no me puedo estudiar en una semana, y dejar las más ligeras de lado.
Cuando me pongo a estudiar para un examen, siempre empiezo por estudiarme toda la teoría. En mi carrera se valora más entender la teoría que sabérsela de memoria, así que me centro en entender el temario.
Una vez que entiendo toda la física, me pongo con la práctica. Me gusta hacer primero los seminarios que hemos hecho en clase con ayuda de chatgpt, para entender los algoritmos de resolución, los planteamientos, la notación que usamos, etc...
Después le pido a chatgpt que me genere tandas de ejercicios similares a los de clase y, finalmente, empiezo a resolver los ejercicios de los exámenes de años anteriores.
mugar retweeted
Introducing Kimi K3.1 Pro: our most capable 3T-class open-weight model.
🔹 1M-token context, 2.8T total / 104B active params (MoE), Multimodal.
🔹 Full-project coding: games in Unreal, Unity & Godot.
🔹 Excels at parametric 3D modeling in Blender & CAD.
🔹 More reliable at finance work: Accurate modeling with hallucination down by 65%.
🔹 Matching the strongest proprietary models across coding, agentic and knowledge benchmarks.
Kimi K3.1 Pro and K3.1 Pro Highspeed (2–3× faster) are now live on Kimi.ai, Kimi Work, Kimi Code, and the Kimi API.
Open weights by Nov 4, 2026.
🔗 API: platform.kimi.ai
🔗 Tech blog: kimi.ai/blog/kimi-k3-1-pro















