Juan Diego Rodriguez

@juand-r.bsky.social

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/

Neuroscience in Chile, and across Latin America, does not lack talent or ideas, but the systems that make science visible—prestige journals, conferences and networks—increasingly price its researchers out, argues @medelero.bsky.social. #neuroskyence

Scientific talent is global. Access is not.

Neuroscience in Chile does not lack talent or ideas, but the systems that make science visible increasingly price its researchers out.

thetransmitter.org

My new paper "The Modal Catuṣkoṭi" coherently translates Mahayana Buddhist philosophy's structure into formal modal logic across all relevant systems. It's the first peer-reviewed comparative-philosophy article with central model-theoretic results Lean-verified. scholarworks.sjsu.edu/comparativep...

The Modal Catuṣkoṭi: Formalizing Emptiness in Classical Modal Logic

Nāgārjuna’s arguments in the Mūlamadhyamakakārikā rely extensively on modus tollens, yet this inference is invalid in the paraconsistent frameworks typically used to formalize the catuṣkoṭi. We develo...

scholarworks.sjsu.edu

It's crazy to think it took only 4 years to go from "LLMs are only good for generating misinformation at scale" to them proving new theorems, writing code, and writing (mostly) accurate literature surveys.

I find it fascinating that if I tell Claude to hack my fake Bank of America website and it instead, in classic LLM fashion, hallucinates and hacks the real one then there is no law that addresses this? Quite the loophole. I wonder what other crimes are legal as long as you get an LLM to do it?

Bild

What happens when AI has answered the handful of my favorite problems that I've spent the last 15 years thinking about? There are a lot of nice problems that I like, but it's not so easy to find a *favorite* problem.

There's lots of stuff LLMs can't do, but if you want to disbelieve all the recent math, you have to believe a bunch of Fields Medalists with long track records are just straightforwardly lying about the thing they care most about. Here's a recent blog by Gowers: gowers.wordpress.com/2026/05/08/a...

A recent experience with ChatGPT 5.5 Pro

We are all having to keep revising upwards our assessments of the mathematical capabilities of large language models. I have just made a fairly large revision as a result of ChatGPT 5.5 Pro, to whi…

gowers.wordpress.com

I curated some readings for class on "data tensions" and the list felt worth sharing. Come on a tour of datasets, books, the web, and AI with me... We'll start with this piece on the Google Books project: the hopes, dreams, disasters, and aftermath of building a public library on the internet. 1/n

Torching the Modern-Day Library of Alexandria

“Somewhere at Google there is a database containing 25 million books and nobody is allowed to read them.”

theatlantic.com

Do I get angry that Anthropic bought those books and therefore *can* use them for their private-sector research? No, the part that pisses me off is that we in the public sector also bought them and we can’t—essentially because we a) don’t count as a single organization and b) are timid.

Fable is amazing but needs to stop talking like someone who has read only pulp fantasy: "I have shown you the way but you must open the door. The map exists but the path is yours. The atlas of your instinct — every fact must first know itself" Please, just make the infographic about cheese I wanted