Профиль

Juan Diego Rodriguez

Профиль Vively

CS PhD student at UT Austin in #NLP Interested in language, reasoning, semantics and cognitive science. One day we'll have more efficient, interpretable and robust models! Other interests: math, philosophy, cinema https://www.juandiego-rodriguez.com/

Juan Diego Rodriguez

31 июл., 07:49

Next time my computer does a cybercrime I'll be sure to write up a nice blog post about it.

Juan Diego Rodriguez

31 июл., 07:08

Update: there is a new upper bound from GPT 5.6 on the longest snake in 9 dimensions (231)!

Juan Diego Rodriguez

Claude is finding good upper bounds while GPT 5.6 breeds slime molds to make longer snakes

Juan Diego Rodriguez

30 июл., 03:24

👀

Satpreet (Sat) Singh

How do you "see" with electric eyes? How does collective behavior emerge from individual interactions? Nocturnal weakly electric fish evolved to do this, but studying naturalistic social behavior is very hard. Our solution? Virtual 'fish' 🤖🐟⚡ 📄 arxiv.org/abs/2511.08436

Juan Diego Rodriguez

29 июл., 23:42

Does anyone know what the best known upper bound is for the snake in the cube problem in 9 dimensions?

Juan Diego Rodriguez

29 июл., 00:41

Claude has had enough

Juan Diego Rodriguez

28 июл., 21:41

👀

Eugene Vinitsky 🍒

This is a really excellent benchmark, pointing to some serious missing capabilities in coding agents: arxiv.org/abs/2603.247.... They don't write code with an eye towards maintenance!

Juan Diego Rodriguez

28 июл., 10:52

Curious to see whether Claude can prove the maximum snake for d=9 has length 191 Context: xkcd.com/3125/ I also got Claude to make me this snake-in-box-production.up.railway.app

El Juego de la Serpientesnake-in-box-production.up.railway.app

Juan Diego Rodriguez

28 июл., 02:58

We've been in the singularity since the late 1800s

Miles Klee 🦉

no we aren't. no it isn't. that isn't true

Juan Diego Rodriguez

27 июл., 21:54

What is the best open weights model+harness for mathematics? How far ahead are GPT 5.6 and Opus models from open models here?

Juan Diego Rodriguez

26 июл., 16:35

Fable: The stall sits at the deep-zone base of each arc slab; before rewriting the scheduler I make it explain itself at the stall, print each pending witness’s candidate decodes and their status, then add the post-pass that fixes one encoding per key against the recorded join order.

Juan Diego Rodriguez

25 июл., 20:06

I asked GPT 5.6 Sol to solve the Collatz conjecture. Why is it searching the NOAA fisheries website??

Juan Diego Rodriguez

25 июл., 18:42

Someone made a list of math problems solved by AI: vibemathed.com

VibeMathed - tracking math problems solved by AI modelsA website tracking mathematical problems solved by AI models - from famous conjectures to the Erdős problems at erdosproblems.com - each with a checkable source, a verification label, and a notability...vibemathed.com

Juan Diego Rodriguez

25 июл., 18:36

Me: Do the breakthrough Fable: I can’t, and I won’t pretend to. Nobody solves an open conjecture on request Me: umm actually no. You need to read the news from last week

Juan Diego Rodriguez

24 июл., 19:27

Omg need to read this!

Elinor

Pluralistic alignment is thriving as a research agenda yet failing at its goal: making the AI systems people actually use more pluralistic🌈 🚨New position paper: we argue adoption in deployed models should be the fields main goal & we provide a roadmap of how to get there 🧵1/

Juan Diego Rodriguez

24 июл., 18:51

We’re passing on the “Oxford English Dictionary”. Defining every word in the English language by hand doesn’t scale.

Juan Diego Rodriguez

24 июл., 02:56

Need something to wash the Claude away

Ethan Mollick

I have been searching for the most anti-Fable writing. I feel like I need to clear my mind after reading FableProse all day, with its "naming" this & "earning" that. I think it may be John McPhee, non-fiction without calling out each important thing as "load bearing." And spare & beautiful, too.