Google AI: 56 ఏళ్లుగా ఛేదించలేని గణిత సమస్యలకు గూగుల్ AI పరిష్కారం.. ఆశ్చర్యపోయిన శాస్త్రవేత్తలు
ఈ వార్తాకథనం ఏంటి
ప్రపంచ టెక్నాలజీ దిగ్గజం గూగుల్'కు చెందిన గూగుల్ డీప్మైండ్ అభివృద్ధి చేసిన 'ఆల్ఫాప్రూఫ్ నెక్సస్' (AlphaProof Nexus) అనే కృత్రిమ మేధస్సు వ్యవస్థ గణిత రంగంలో సంచలన విజయాన్ని నమోదు చేసింది. 1946లో ప్రముఖ గణిత శాస్త్రవేత్త Paul Erdős ప్రతిపాదించిన ఓపెన్ ఎర్డోస్ సమస్యల్లో తొమ్మిదింటిని ఈ AI స్వయంగా పరిష్కరించినట్లు డీప్మైండ్ ప్రకటించింది. వీటిలో కొన్ని సమస్యలు దాదాపు 56 ఏళ్లుగా పరిష్కారం కోసం ఎదురుచూస్తున్నాయి.
వివరాలు
తక్కువ ఖర్చుతో భారీ ఫలితం
ఆశ్చర్యకరమైన విషయం ఏమిటంటే.. ఈ ఘనత సాధించడానికి కేవలం కొన్ని వందల డాలర్ల విలువైన కంప్యూటింగ్ వనరులే ఉపయోగించినట్లు తెలుస్తోంది. సాధారణంగా ఇలాంటి గణిత పరిశోధనలకు భారీ స్థాయి సూపర్ కంప్యూటింగ్ అవసరం అవుతుందని నిపుణులు చెబుతున్నారు. మరో 44 గణిత ఊహాగానాలకు నిరూపణ ఎర్డోస్ సమస్యలతో పాటు, ఆల్ఫాప్రూఫ్ నెక్సస్ మరో 44 OEIS గణిత ఊహాగానాలను కూడా నిరూపించింది. అంతేకాదు, 15 ఏళ్లుగా పరిష్కారం కాని ఆల్జీబ్రిక్ జ్యామితి సమస్యను కూడా ఛేదించింది. ఆప్టిమైజేషన్ థియరీలో ఇప్పటివరకు మనుషులు గుర్తించని కొత్త అల్గోరిథమిక్ పరామీటర్ను కూడా AI కనుగొనడం విశేషం.
వివరాలు
మానవ జోక్యం లేకుండానే నిరూపణలు
ఈ AI ప్రత్యేకత ఏమిటంటే.. ఎలాంటి మానవ సహాయం లేకుండానే గణిత నిరూపణలను రూపొందించి, వాటిని కంప్యూటర్ ఆధారిత ధృవీకరణ వ్యవస్థలతో తనిఖీ చేసింది. దీని ద్వారా AI స్వతంత్ర ఆలోచనా సామర్థ్యంపై మరింత చర్చ మొదలైంది. Lean సిస్టమ్తో ఖచ్చితమైన ధృవీకరణ ఇతర AI గణిత వ్యవస్థలతో పోలిస్తే, గూగుల్ ప్రత్యేకంగా 'Lean' అనే ఫార్మల్ వెరిఫికేషన్ సిస్టమ్ను ఉపయోగించింది. దీనివల్ల గణిత నిరూపణలోని ప్రతి లాజికల్ స్టెప్ను కఠినమైన గణిత నియమాల ప్రకారం ఆటోమేటిక్గా తనిఖీ చేస్తుంది. దీంతో తప్పు లాజిక్ లేదా ఆధారంలేని వాదనలు వెంటనే బయటపడతాయి.
వివరాలు
AI 'హాల్యూసినేషన్స్'పై ఆందోళన
అయితే AI గణిత నిరూపణల్లో 'హాల్యూసినేషన్స్' అనే సమస్యపై కూడా గూగుల్ ఆందోళన వ్యక్తం చేసింది. కొన్నిసార్లు AI నిజంగా లేని గణిత సూత్రాలను సృష్టించి, అవే ఇప్పటికే నిరూపితమైన ఫలితాలుగా చూపించే ప్రమాదం ఉందని తెలిపింది. అలాగే కఠినమైన సమస్యను నేరుగా పరిష్కరించకుండా, దానిని 'హెల్పర్ లెమ్మా'గా పేరు మార్చి పూర్తి చేసినట్లుగా చూపించే అవకాశమూ ఉంటుందని వివరించింది. గణిత శాస్త్రవేత్తలకు కొత్త దారి డీప్మైండ్ పరిశోధకుల అభిప్రాయం ప్రకారం, AI రీజనింగ్తో పాటు ఫార్మల్ వెరిఫికేషన్ కలయిక భవిష్యత్తులో గణిత పరిశోధన విధానాన్ని పూర్తిగా మార్చే అవకాశం ఉంది. AI పూర్తిగా సమస్యను పరిష్కరించకపోయినా,అది చేసిన ప్రయత్నాలు మానవ శాస్త్రవేత్తలకు సమస్యను కొత్త కోణంలో అర్థం చేసుకునేందుకు ఉపయోగపడుతున్నాయని తెలిపారు.
వివరాలు
AGIకి ఇంకా దూరమే: డెమిస్ హస్సాబిస్
ఈ పరిణామాల నేపథ్యంలో AI ఇప్పటికే AGI (Artificial General Intelligence) వైపు దూసుకెళ్తుందా అనే చర్చ మొదలైంది. అయితే Demis Hassabis మాత్రం ప్రస్తుత AI వ్యవస్థలు నిజమైన AGIకి ఇంకా చాలా దూరంలోనే ఉన్నాయని స్పష్టం చేశారు. ప్రముఖ భారత గణిత మేధావి Srinivasa Ramanujan వంటి మహానుభావుల లోతైన సృజనాత్మకతకు ప్రస్తుత AI ఇంకా చేరలేదని పేర్కొన్నారు.