Welcome to Incremental Social! Learn more about this project here!
Check out lemmyverse to find more communities to join from here!

nature.com

EarthShipTechIntern , to Technology in Why mathematics is set to be revolutionized by AI

Set to be revolutionized by AI because AI can't do math.

Says my brother, a Math Professor that works with people trying to develop AI

misk ,
@misk@sopuli.xyz avatar

AI is math, statistics specifically.

yildolw ,

AI can't count the number of letters in a word

misk ,
@misk@sopuli.xyz avatar

That's because ChatGPT and the likes use machine learning to calculate odds of word combinations that make up a plausible sentence in a given context. There are scientific studies that postulate we'll never have enough data to train those models properly, not to mention exponential energy consumption required. But this is not the only application of this technology.

anton , to Technology in Why mathematics is set to be revolutionized by AI

The absence of coincidence

Look up the strong law of small numbers.

Also, one of their examples of AI was an exhaustive search.

amzd , to Technology in Why mathematics is set to be revolutionized by AI

AI is insanely bad at distinguishing fact from hallucination, which seems like a terrible match for math

blargerer ,

I haven't read this article, but the one place machine learning is really really good, is narrowing down a really big solution space where false negatives and false positives are cheap. Frankly, I'm not sure how you'd go about training an AI to solve math problems, but if you could figure that out, it sounds roughly like it would fit the bill. You just need human verification as the final step, with the understanding that humans will rule out like 90% of the tries, but if you only need one success that's fine. As a real world example machine learning is routinely used in astronomy to narrow down candidate stars or galaxies from potentially millions of options to like 200 that can then undergo human review.

magic_lobster_party ,

The article is about using computers to discover new conjectures (mathematical statements that are not yet known to be true or false). The conjecture can be then later be formally proven (or disproven) by humans.

Sounds like a good match for me. Formulating conjectures is about finding an interesting pattern and argue that this pattern holds true. Computers are getting increasingly better at pattern matching, so why not use them?

Title is a bit clickbaity by calling it AI.

technocrit ,

Title is a bit clickbaity by calling it AI.

That's literally every article about "AI".

... the London Institute for Mathematical Sciences, of which I am director

There's the reason. Self-promotion.

Even_Adder ,

AI isn't just LLMs.

dragontamer ,

No one is talking about automated theorem provers (see 4 coloring theorem) or symbolic solvers (see Mathematica). These tools already revolutionized math decades ago.

The only thing that came out in the past year or two are LLMs. Which is clearly overhyped bullshit.

Even_Adder ,

The article doesn't mention LLMs, and many ML related things came out in the last year or two that aren't LLMs.

windie , to Technology in Why mathematics is set to be revolutionized by AI

This might be a worthy application.

JoMomma , to Technology in Why mathematics is set to be revolutionized by AI

No

QuadratureSurfer ,
@QuadratureSurfer@lemmy.world avatar

Are you saying "No... let's not advance mathematics"?
Or... "No, let's not advance mathematics using AI"?

Sturgist ,
@Sturgist@lemmy.ca avatar

Yes

sirico ,
@sirico@feddit.uk avatar

I was saying boourns

JoMomma ,

No

Lemminary ,

Ok

neuracnu , to Technology in Cubic millimetre of brain mapped in spectacular detail
@neuracnu@lemmy.blahaj.zone avatar

That cable management is horrendous. Pull them out.

JATtho ,

But it's the spaghetti cabling that makes it work and highly robust.

nicerdicer2 , to Technology in Cubic millimetre of brain mapped in spectacular detail

There is an eerie resemblence between the smallest neuron and the largest structure in the universe - Galaxy Filament

https://sh.itjust.works/pictrs/image/cf05bacb-7140-442d-9ac4-a6b83dd258db.jpeg

3ntranced ,

I mean realistically we could just be a manifested thought of some higher being who took too big a toke of some 5-D Weed

beefbot , to Technology in Cubic millimetre of brain mapped in spectacular detail

Noam Chomsky said “we don’t know what happens when you cram 10^5 neurons* into a space the size of a basketball” - but what little we know is astonishing & a marvel

*whatever the number is

enbyecho , to Technology in Cubic millimetre of brain mapped in spectacular detail

Aha! This is why I can't think straight! Spaghetti!

scarilog , to Technology in Cubic millimetre of brain mapped in spectacular detail

The 3D map covers a volume of about one cubic millimetre, one-millionth of a whole brain, and contains roughly 57,000 cells and 150 million synapses — the connections between neurons. It incorporates a colossal 1.4 petabytes of data.

Assuming this means the total data of the map is 1.4 petabytes. Crazy to think that mapping of the entire brain will probably happen within the next century.

LostXOR ,

If one millionth of the brain is 1.4 petabytes, the whole brain would take 1.4 zettabytes of storage, roughly 4% of all the digital data on Earth.

Mostly_Harmless_Variant , to Technology in Cubic millimetre of brain mapped in spectacular detail

I thought this was a close up of a fuzzy sweater and was like: "cool ". Read the title. "Oh, fuck, yeah."

huginn , to Technology in Cubic millimetre of brain mapped in spectacular detail

This is exactly what I'm talking about when I argue with people who insist that an LLM is super complex and totally is a thinking machine just like us.

It's nowhere near the complexity of the human brain. We are several orders of magnitude more complex than the largest LLMs, and our complexity changes with each pulse of thought.

The brain is amazing. This is such a cool image.

Khanzarate ,

I think of LLMs like digital bugs, doing their thing, basically programmed.

They're just programmed with virtual life experience instead of a traditional programmer.

echodot ,

Back in the early 2000s CERN was able to simulate the brain of a flat worm. Actually simulate the individual neurons firing. A 100% digital representation of a flatworm brain. And it took up an immense amount of processing capacity for a form of life that basic, far more processor intensive than the most advanced AIs we currently have.

Modern AIs don't bother to simulate brains, they do something completely different. So you really can't compare them to anything organic.

YIj54yALOJxEsY20eU , (edited )

far more processor intensive than the most advanced AIs we currently have

This is the second comment I've seen from you where you confidently say something incorrect. Maybe stop trying to be orator of the objective and learn a little more first.

echodot ,

Citation needed on that comment of yours. Because I know for a fact that what I said is true. Go look it up.

YIj54yALOJxEsY20eU ,

I think the claim that 24 year old technology is more computationally intensive than the ground breaking tech of the modern day needs the citation.

pm_me_your_titties ,

https://www.sciencealert.com/scientists-put-worm-brain-in-lego-robot-openworm-connectome

2014, not early 2000s (unless you were talking about the century or something).

OpenWorm project, not CERN.

And it was run on Lego Mindstorm. I am no AI expert, but I am fairly certain that it is not "far more processor intensive than the most advanced AIs we currently have".

Citation needed on that comment of yours. Because I know for a fact that what I said is true. Go look it up.

Maybe you should be a little less sure of your "facts", and listen to what the world has to teach you. It can be marvelous.

AEsheron ,

I agree, but it isn't so clear cut. Where is the cutoff on complexity required? As it stands, both our brains and most complex AI are pretty much black boxes. It's impossible to say this system we know vanishingly little about is/isn't dundamentally the same as this system we know vanishingly little about, just on a differentscale. The first AGI will likely still have most people saying the same things about it, "it isn't complex enough to approach a human brain." But it doesn't need to equal a brain to still be intelligent.

huginn ,

but it isn’t so clear cut

It's demonstrably several orders of magnitude less complex. That's mathematically clear cut.

Where is the cutoff on complexity required?

Philosophical question without an answer - We do know that it's nowhere near the complexity of the brain.

both our brains and most complex AI are pretty much black boxes.

There are many things we cannot directly interrogate which we can still describe.

It’s impossible to say this system we know vanishingly little about is/isn’t dundamentally the same as this system we know vanishingly little about, just on a differentscale

It's entirely possible to say that because we know the fundamental structures of each, even if we don't map the entirety of eithers complexity. We know they're fundamentally different - Their basic behaviors are fundamentally different. That's what fundamentals are.

The first AGI will likely still have most people saying the same things about it, “it isn’t complex enough to approach a human brain.”

Speculation but entirely possible. We're nowhere near that though. There's nothing even approaching intelligence in LLMs. We've never seen emergent behavior or evidence of an id or ego. There's no ongoing thought processes, no rationality - because that's not what an LLM is. An LLM is a static model of raw text inputs and the statistical association thereof. Any "knowledge" encoded in an LLM exists entirely in the encoding - It cannot and will not ever generate anything that wasn't programmed into it.

It's possible that an LLM might represent a single, tiny, module of AGI in the future. But that module will be no more the AGI itself than you are your cerebellum.

But it doesn’t need to equal a brain to still be intelligent.

First thing I think we agree on.

echodot ,

LLM'S don't work like the human brain, you are comparing apples to suspension bridges.

The human brain works by the series of interconnected nodes and complex chemical interactions, LLM's work on multi-dimensional search spaces, their brains exist in 15 billion spatial dimensions. Yours doesn't, you can't compare the two and come up with any kind of meaningful comparison. All you can do is challenge it against human level tasks and see how it stacks up. You can't estimate it from complexity.

CrayonRosary ,

LLM's work on multi-dimensional search spaces

You're missing half of it. The data cube is just for storing and finding weights. Those weights are then loaded into the nodes of a neural network to do the actual work. The neural network was inspired by actual brains.

thechadwick ,

I wonder where it got it's name from?

CrayonRosary ,

I have no idea. Maybe someone with a larger neural network than mine can figure it out.

AliasAKA ,

I mean you can model a neuronal activation numerically, and in that sense human brains are remarkably similar to hyper dimensional spatial computing devices. They’re arguably higher dimensional since they don’t just integrate over strength of input but physical space and time as well.

Shawdow194 , to Technology in Cubic millimetre of brain mapped in spectacular detail
@Shawdow194@kbin.social avatar

Incredible. Very humbling

jaycifer ,

Humbling? That’s going on in my head. I’m that complicated! Or at least the “hardware” I run on is. I think having a brain that beautifully complex is more empowering than anything! I wonder what new discoveries will stem from this.

BearOfaTime ,

Por que no los dos?

I can see both sides:

Super humbling because nature's complexity can provide data storage and retrieval capacity several orders or magnitude greater than the best we can do right now.

Also super exciting because look at what every brain on the planet is composed of, and how it functions, in a freakin' square millimeter!

Crazy stuff. Wild.

moistclump ,

There’s a whole universe in there eh?

Morphit ,
@Morphit@feddit.uk avatar

Let's see Paul Allen's brain scan.

hiramfromthechi , to Technology in Meet ‘goldene’: this gilded cousin of graphene is also one atom thick
@hiramfromthechi@lemmy.world avatar

We gonna see a GoldeneOS?

Tikiporch ,

GoldeneYES

femboy_bird , to Technology in Meet ‘goldene’: this gilded cousin of graphene is also one atom thick
@femboy_bird@lemmy.blahaj.zone avatar

Firsly gilded means covered in a thin layer of gold in order to appear expensive, a one atom thick sheet of gold is not gilded, it is literally solid gold

Second that's cool af

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • incremental_games
  • meta
  • All magazines