Remix.run Logo
▲ nico an hour ago

In a way, you can think of pretty much anything we express with language, especially things that are already modeled in scientific language, or logical language, or in equations or code; to be representable in a parametric/searchable space

Thus, you can build ai/ml models+agents to explore those spaces, at a speed and scope much larger than what any human can do

I can imagine findings like these are going to keep increasing in frequency to a point in which the bar for novelty goes a lot higher

▲nico an hour ago | parent | next [-]

Anecdata: over the weekend, on a whim, I decided to download a real fly’s brain’s weights [0], run it on a simulated task like finding food, then train a logistic classifier using the fly’s decisions as the expert, then use the trained classifier as a decision model to simulate the fly on a 3d environment, running in real time on a website

It took me (using Claude code and some codex), about 3 hours to put it together

And even though it was a cool demo, it seemed so easy, that it also felt like it wasn’t worth sharing

0: ChessFly (not mine), uses the FlyWire connectome (the fly’s brain’s weights) to play chess https://huggingface.co/spaces/mlabonne/chessfly

▲binsquare 43 minutes ago | parent | next [-]

I think ai certainly raises the bar for those with taste

▲tripleee 43 minutes ago | parent | prev | next [-]

Many people wouldn't find that easy, even with AI

▲polishdude20 an hour ago | parent | prev [-]

Oh please do share!

▲nico 40 minutes ago | parent [-]

https://playground.jeffyclassify.com/#fly

It's a small machine, so it might get bogged down

▲esafak an hour ago | parent | prev | next [-]

It is not at all obvious that merely because we have words for concepts, that a model should be able to do all these miraculous mathematical and scientific things.

▲nico an hour ago | parent | next [-]

You are correct. My comment is not so much about that this is something elementary. But rather an observation that, given the current state of technology, it seems like we are being able to model increasingly more things, in increasingly more efficient and automated ways, to the point that there seems to be a pattern to it

▲jeremyjh an hour ago | parent | prev [-]

Right, it also has to model a substantial fraction of reality (or at least a true simulation of it) to accomplish these things.

▲SR2Z 32 minutes ago | parent [-]

It models our language, which is a flawed and imperfect way of describing the world. So far, it seems like a lot of these discoveries are "filling in the gaps" between the things we've written down and the things they imply (if you have the memory to think them through).

The story about OpenAI's Navier-Stokes solution is a good example of what I mean. I don't think it would have been possible without computer assistance because that proof is long and complicated. I'm also not sure that it would have been possible without a human proposing a new approach to the problem, because by all accounts that's exactly what led to the absurd amount of spending that OpenAI did to solve the issue.

I feel like that at least implies that there's some room left for humans in the new world.

▲nater5000 44 minutes ago | parent | prev [-]

Yeah...?

That's the pitch of LLMs lol