Matematikere skal lære at tænke som en maskine

New scientist skrev den anden dag en historie om Matematikere der skal lære at tænke som en computer, så de kan beskrive deres beviser og sætningen direkte til en computer, så beviser kan afprøves automatisk.

http://www.newscientist.com/article/dn23749-mathematicians-think-like-machines-for-perfect-proofs.html

Bortset fra at det lyder en smule fjollet og som et problem der burde kunne løses med hjælp fra en programør, så er det en fin indgangsvinkel til mere inteligens i computeren, at man også i den mere abstrakte tænkning forsørger at nedbryde argumenter til elementer der kan regnes på af en computer.

En variant over samme tema i Wired er denne artikel om en ny tilgang til at få computeren til at samle nok information om virkeligheden så den også selv kan gætte på sammenhænge og gætte på nye indput. “Intuition is just the part of the computation going on in our brain for which we don’t have conscious access. It’s really hard to decompose it into little pieces we can explain,” he says. “This is the reason why the traditional AI of
the 80s and 70s failed – because it tried to build machines that could explain
every single step through reasoning. It turns out it was impossible to do that.
It’s much easier to train machines to develop intuitions to make the right
decisions.” http://www.wired.com/wiredenterprise/2013/06/yoshua-bengio/

PS: Den amerikanske forfatter Richard Matheson døde i weekenden. En af hans udgivelser er novellen “Steel” fra 1956, der blev var inspiration til filmen Real Steel (2011). Læs mindeord her: http://apokalyptisk.wordpress.com/2013/06/25/en-legende-er-gaet-bort/

Advertisements

Om hubertnaur

Særlig interesse i fri og åben adgang til viden
Dette indlæg blev udgivet i Uncategorized og tagget . Bogmærk permalinket.

Skriv et svar

Udfyld dine oplysninger nedenfor eller klik på et ikon for at logge ind:

WordPress.com Logo

Du kommenterer med din WordPress.com konto. Log Out / Skift )

Twitter picture

Du kommenterer med din Twitter konto. Log Out / Skift )

Facebook photo

Du kommenterer med din Facebook konto. Log Out / Skift )

Google+ photo

Du kommenterer med din Google+ konto. Log Out / Skift )

Connecting to %s