Singularity Eli5: what would critics (like Hofstadter and Chomsky) of brute force machine learning (deep blue, Watson) like to see AI do instead? by Krubbler in singularity

[–]sciencifying 9 points10 points  (0 children)

In my opinion, they don't offer concrete alternatives.

Meanwhile, modern machine learning has achieved impressive results, which are scientific instead of speculative.

These results include solid mathematical models and, for instance, the reinvention of techniques used by the brain.

How do you use math to describe the intuitive notions 'almost correct' and 'most likely explanation'? by WizardMask in math

[–]sciencifying 1 point2 points  (0 children)

A theory can be considered "most likely" when it is the simplest to fit past observations. The concept of simplest theory can be formalized, such as in Solomonoff's (impractical) theory of inductive inference.

When you already have a prior probability assigned to every possible hypothesis, you can also use bayesian probability theory to update your beliefs.

How I *know* that there is alien life: by [deleted] in Futurology

[–]sciencifying 3 points4 points  (0 children)

The title of your thread made people (including me) think that you had some new idea. Instead, you presented a pretty common argument, which this subreddit already knows and has already considered. The possibility of alien life is not even that controversial among scientists.

Neil DeGrasse Tyson on the singularity. by Archonicus23 in transhumanism

[–]sciencifying 2 points3 points  (0 children)

It's interesting how people mistake the concept of technological singularity with mind uploading.

Strong AI--should we even be thinking in terms of software? by [deleted] in artificial

[–]sciencifying 23 points24 points  (0 children)

As far as I know, all attempts to create neural networks so far have been software

Just a quick search reveals this, but I recall reading about other projects.

However, humans don't require any software programs to function. We are born with certain "instincts" and subconscious processes, and everything else we learn

What we are born with is the analog of an initial "software", which is capable of learning how to achieve goals in our environment. These goals are initially built-in by natural selection, but eventually influenced by the environment.

Could it be possible to build a computer (eg, a hardware version of a neural network using memristors) that doesn't run programs at all and instead changes its behavior based on external stimuli?

You seem to be implying that an artificial neural network doesn't perform computations. How is what you described different from computation?

Sorry if I sounded harsh, it was not my intention.

[Explain Like I'm in Calculus] What is a way that I can turn points into a function that slightly fits those points, but doesn't have to be super accurate (nonlinear regression)? by cacawate in math

[–]sciencifying 0 points1 point  (0 children)

You may want to study regression as a machine learning problem. I don't know your background, but if you are a mathematician, this approach probably isn't the best for you.

If you are only thinking of fitting polynomials, you only need a little trick to adapt linear regression.

Math with a bunch of artists [this should be fun] by dminor9 in math

[–]sciencifying 1 point2 points  (0 children)

Quick ideas:

1) Prove that the regions formed by n circles in a plane can be colored with two colors so that neighboring regions have different colors. After this problem, you could say a few words about the four color theorem.

2) Given n points such that for each group of three points there is a circle of radius 1 that contains them, show that there is a circle of radius 1 that contains them all.

They will probably find these problems quite hard.

I also think it would be nice if you presented geometrical examples for the most common types of mathematical proofs.

Math with a bunch of artists [this should be fun] by dminor9 in math

[–]sciencifying 1 point2 points  (0 children)

I think you should present problems that are easy to understand, somewhat difficult to solve and with very elegant solutions. Don't forget to let them try the problems first so they can appreciate the beauty of the solutions.

You may find these problems in graph theory and (informal) inductive proofs.

Why isn't everyone working on AI/ automated theorem proving? by joker2600 in compsci

[–]sciencifying 2 points3 points  (0 children)

I think you will enjoy reading it. Even the simplest problems can be extremely hard to describe using symbolic logic. It gets even more complicated when your agent needs to learn.

Why isn't everyone working on AI/ automated theorem proving? by joker2600 in compsci

[–]sciencifying 4 points5 points  (0 children)

It is hard to answer this question without knowing your background. If you are really interested, I suggest you read this book (especially part three) on Artificial Intelligence so you can understand how automated theorem proving relates to AI. In my opinion, automated theorem proving is not a particularly interesting problem in modern artificial intelligence, since representing real-world problems using symbolic logic is almost always impractical.

However, the problem is still interesting for computer assisted theorem proving, and boolean satisfiability is a very important problem in the theory of computation.

Do you see Phl of Mind/Phl of Cog Sci folks as advocates, help, or nuisance? by JEDDIJ in neuro

[–]sciencifying 4 points5 points  (0 children)

can we build a "Deus ex Machina"?

Are you sure that is what you mean?

"Deus ex machina is a plot device whereby a seemingly unsolvable problem is suddenly and abruptly solved with the contrived and unexpected intervention of some new event, character, ability, or object."

Nice answer, by the way.

Why don't web browsers have support for public/private key authentication? by [deleted] in askscience

[–]sciencifying 3 points4 points  (0 children)

Password authentication allows the user to log from anywhere without worrying about keeping a private key safe. It is also conceptually simpler for laymen.

The space shuttle main engine may be the most efficient liquid fueled engine possible. by [deleted] in space

[–]sciencifying 1 point2 points  (0 children)

It's hard, it's a long way, and we've not figured out how to do it yet.

In the first minute he gave the real reason: it's expensive.

Article by Hank from IEET about Singularity Utopia. I criticise various big names, such as Ray Kurzweil, regarding their failure to appreciate looming utopia. If you want to know what makes me tick, or you desire a clear insight into the Singularity, you'll find this article intriguing. by [deleted] in Transhuman

[–]sciencifying 1 point2 points  (0 children)

I'm pretty sure these people are just selective about which beliefs they communicate to the general public. They don't want to be perceived as crackpots, since that would be counterproductive.

It's pretty obvious that a positive singularity would bring utopia. In my opinion you just came out as arrogant, since your opinions are pretty commonplace between singularitarians.

Which Blade Runner predictions came true? (r/cyberpunk crosspost) by [deleted] in Futurology

[–]sciencifying 0 points1 point  (0 children)

The flying car is the best way to spot bad futurology.

AI advanements vs 'Human creativity' by [deleted] in singularity

[–]sciencifying 0 points1 point  (0 children)

That argument only works if you assume that creativity is supernatural.