Mathmaticians Demand Uncertanty from AI

[BeyondKnowledge]

"We demand rigidly defined areas of doubt and uncertainty!" The Hitchhiker's Guide to the Galaxy by Douglas Adams 




It has begun. Mathmaticians are actually demanding AI should stop thinking about certain math problems and theories. Declarations have been signed. The number theorists are getting nervous. The clickers are already too smart.

https://www.sciencenews.org/article/ai-g...th-problem

Once again science fiction has predicted the future almost perfectly.

This is so hilarious.

Thank you Douglas Adams.

42

[DennisR6]

"If the most powerful tools are expensive and private, mathematics could become less open and democratic, and some people may question why they should learn math at all"
This exact problem that is and will continue to persist almost guarantees a new class of people in the pecking order.

[DBCowboy]

"We demand rigidly defined areas of doubt and uncertainty!" The Hitchhiker's Guide to the Galaxy by Douglas Adams 

[Video: https://youtu.be/GHZzh2Wv9lg]

It has begun. Mathmaticians are actually demanding AI should stop thinking about certain math problems and theories. Declarations have been signed. The number theorists are getting nervous. The clickers are already too smart.

https://www.sciencenews.org/article/ai-g...th-problem

Once again science fiction has predicted the future almost perfectly.

This is so hilarious.

Thank you Douglas Adams.

42

If you want to program uncertainty, then program a wife's answer to where she wants to eat tonight.

  ​​​​​​​ ​​​​​​​ ​​​​​​​

[BeyondKnowledge]

"If the most powerful tools are expensive and private, mathematics could become less open and democratic, and some people may question why they should learn math at all"
This exact problem that is and will continue to persist almost guarantees a new class of people in the pecking order.

I don't think the mathmaticiams were expecting to loose their jobs to AI this quickly. 

First AI messed up the pictures, then the text, then the videos, and now it is taking over the numbers. I don't think the professional thinkers were expecting that.

[BeyondKnowledge]

If you want to program uncertainty, then program a wife's answer to where she wants to eat tonight.

  ​​​​​​​ ​​​​​​​ ​​​​​​​

If you succeed in programming one, half the world will be after you to hang you. Please don't even think that.

[chr0naut]

If you want to program uncertainty, then program a wife's answer to where she wants to eat tonight.

  ​​​​​​​ ​​​​​​​ ​​​​​​​

It's easy, the first verbal response is:

"You decide".

The next verbal response is:

"No, I don't feel like that right now... but you pick what you want".

[IdeomotorPrisoner]

This really is hilarious...

"You literally thought outside our box and made us feel dumb, boo Skynet!" 

I've looked at the actual proof, or tried to understand it, and then dumbed it down with AI to learn it just added root after root after root to create a collapsible tower.

So they look level one, squared it, and then cubed it, and so on to create a new planes of spaced integers that still coorespond or collapse down to the original 2D grid. Reminds me of what string theory does. 

And in 80 years everyone missed doing that.

[chr0naut]

"We demand rigidly defined areas of doubt and uncertainty!" The Hitchhiker's Guide to the Galaxy by Douglas Adams 

[Video: https://youtu.be/GHZzh2Wv9lg]

It has begun. Mathematicians are actually demanding AI should stop thinking about certain math problems and theories. Declarations have been signed. The number theorists are getting nervous. The clickers are already too smart.

https://www.sciencenews.org/article/ai-g...th-problem

Once again science fiction has predicted the future almost perfectly.

This is so hilarious.

Thank you Douglas Adams.

42

But surely Mathmagicians can call upon the smoldering incense of Gödel’s Incompleteness Theorems, correctly incanted, like a bunch of burning sage, they can exorcise even the most persistent ghosts of rigor and certainty from that ancient tome of the Principia?

[Astyanax]

According to the linked article, the disproof was not very clever. It just involved a lot of data processing.

Not so much 'advanced AI trumps mathematical geniuses’ as ‘off-the-shelf AI does the grunt work.’

Still, it’s only a matter of time, I suppose...

[BeyondKnowledge]

Yes, the AI just did the dumbest, slowest method for the proof. It was able to do it quickly simply by the speed of the calculations. No human could run all those calculations in a lifetime. 

That is the main advantage of the so called AI. It is able to do very many dumb repetitive calculations very quickly. The mathmaticians just can't keep up with that and now they want it stopped. Strict guardrails to the machines that get the answer overnight that they have been working on for a lifetime.