DeepMind: అంతర్జాతీయ గణిత ఒలింపియాడ్లో డీప్మైండ్ AI రజత పతాకం
గూగుల్ డీప్ మైండ్ నుండి AI ఈ సంవత్సరం ఇంటర్నేషనల్ మ్యాథమెటికల్ ఒలింపియాడ్ (IMO)లో రజత పతకాన్ని సాధించింది. ఇది ఏ AI లోనైనా పోడియంకు చేరుకోవడం ఇదే మొదటిసారి. IMO అనేది యువ గణిత శాస్త్రజ్ఞులకు ప్రపంచంలోనే అత్యంత ప్రతిష్టాత్మకమైన పోటీగా పరిగణించబడుతుంది. దాని పరీక్ష ప్రశ్నలకు సరిగ్గా సమాధానం ఇవ్వడానికి AI వ్యవస్థలు సాధారణంగా లేని గణిత సామర్థ్యం అవసరం. జనవరిలో,గూగుల్ డీప్మైండ్ ఆల్ఫా జామెట్రీని ప్రదర్శించింది.ఇది కొన్నిIMO జ్యామితి ప్రశ్నలకు, మానవులకు సమాధానం ఇవ్వగల AI వ్యవస్థ. అయితే,ఇది ప్రత్యక్ష పోటీ నుండి కాకుండా, IMO పతకాన్ని గెలవడానికి అవసరమైన సంఖ్య సిద్ధాంతం,బీజగణితం, కాంబినేటరిక్స్ వంటి ఇతర గణిత శాస్త్రాల నుండి ప్రశ్నలకు సమాధానం ఇవ్వలేకపోయింది.
42 పాయింట్లలో 28 స్కోర్.. ఒక రజత పతకాన్ని గెలుచుకోవడానికి సరిసమానం
Google DeepMind ఇప్పుడు AlphaProof అనే కొత్త AIని విడుదల చేసింది. ఇది విస్తృత శ్రేణి గణిత సమస్యలను పరిష్కరించగలదు. మరిన్ని జ్యామితి ప్రశ్నలను పరిష్కరించగల AlphaGeometry మెరుగైన సంస్కరణ కూడా. ఈ సంవత్సరం IMO ప్రశ్నలపై బృందం రెండు సిస్టమ్లను కలిసి పరీక్షించినప్పుడు, వారు ఆరు ప్రశ్నలలో నాలుగింటికి సరిగ్గా సమాధానం ఇచ్చారు. వారికి సాధ్యమైన 42 పాయింట్లలో 28 స్కోర్ను ఇచ్చారు. ఇది ఒక రజత పతకాన్ని గెలుచుకోవడానికి సరిసమానం. ఈ సంవత్సరం బంగారు పతక థ్రెషోల్డ్ కింద కేవలం ఒక పాయింట్ మాత్రమే. గత వారం UKలోని బాత్లో జరిగిన పోటీలో 58 మంది స్వర్ణ పతకాన్ని, 123 మంది రజత పతకాన్ని గెలుచుకున్నారు.
ఈ AIలు ట్రయల్-అండ్-ఎర్రర్ విధానంపై ఆధారపడతాయి
"చాలా గణిత సమస్యలను పరిష్కరించడంలో AI చివరికి మానవుల కంటే మెరుగ్గా ఉంటుందని మనందరికీ బాగా తెలుసు. అయితే AI అభివృద్ధి చెందుతున్న రేటు ఉత్కంఠభరితంగా ఉంది" అని IMO ప్రెసిడెంట్ గ్రెగర్ డోలినార్ చెప్పారు. ప్రెస్ కాన్ఫరెన్స్లో,ఆల్ఫాప్రూఫ్ సమాధానాలను గుర్తించడంలో సహాయపడిన కేంబ్రిడ్జ్ విశ్వవిద్యాలయంలోని తిమోతీ గోవర్స్,AI పనితీరు ఆశ్చర్యకరంగా ఉందని, మానవుల మాదిరిగానే సమస్యలకు సమాధానమివ్వడానికి "మ్యాజిక్ కీలను" కనుగొన్నట్లు కనిపించిందని అన్నారు. ఆల్ఫాప్రూఫ్ Google DeepMind మునుపటి AIల మాదిరిగానే పనిచేస్తుంది, ఇది చెస్, గోలో అత్యుత్తమ మానవులను ఓడించగలదు. ఈ AIలు అన్నీ రీన్ఫోర్స్మెంట్ లెర్నింగ్ అని పిలువబడే ట్రయల్-అండ్-ఎర్రర్ విధానంపై ఆధారపడతాయి. ఇక్కడ సిస్టమ్ అనేక ప్రయత్నాలలో సమస్యను పరిష్కరించడానికి దాని స్వంత మార్గాన్ని కనుగొంటుంది.
కొన్ని పరిష్కారాలను కనుగొనడానికి మూడు రోజుల వరకు సమయం
అయినప్పటికీ, ఈ పద్ధతికి AI అర్థం చేసుకోగలిగే. ధృవీకరించగల భాషలో వ్రాయబడిన సమస్యల పెద్ద సెట్ అవసరం, అయితే చాలా IMO లాంటి సమస్యలు ఆంగ్లంలో వ్రాయబడతాయి. దీని నుండి బయటపడేందుకు,డీప్మైండ్లోని థామస్ హుబెర్ట్,అతని సహచరులు ఈ సమస్యలను లీన్ అనే ప్రోగ్రామింగ్ లాంగ్వేజ్లోకి అనువదించడానికి Google Gemini AI, ChatGPTకి శక్తినిచ్చే భాషా నమూనాను ఉపయోగించారు. తద్వారా AI వాటిని ఎలా పరిష్కరించాలో నేర్చుకోగలదు. AlphaProof పనితీరు ఆకట్టుకునేలా ఉన్నప్పటికీ,ఇది నెమ్మదిగా పని చేస్తుంది.పోటీదారులు అనుమతించబడే ప్రతి మూడు ప్రశ్నలకు 4.5 గంటల బదులుగా కొన్ని పరిష్కారాలను కనుగొనడానికి మూడు రోజుల వరకు పడుతుంది.ఇది సంఖ్యలను లెక్కించడం,అమర్చడం గురించి అధ్యయనం చేసే కాంబినేటరిక్స్పై రెండు ప్రశ్నలకు కూడా సమాధానం ఇవ్వడంలో విఫలమైంది.
లీన్ నుండి ఆంగ్లంలోకి రుజువులను అనువదించే సామర్థ్యం
"ఇది ఇలా ఎందుకు జరుగుతుందో అని అర్థం చేసుకోవడానికి మేము ఇంకా కృషి చేస్తున్నాము" అని Google DeepMind అలెక్స్ డేవిస్ చెప్పారు. ఆల్ఫాప్రూఫ్ దాని సమాధానాలను ఎలా అందజేస్తుందో లేదా మానవులు చేసే అదే రకమైన గణిత సంబంధమైన అంతర్ దృష్టిని ఉపయోగిస్తుందో కూడా స్పష్టంగా తెలియదు. కానీ లీన్ నుండి ఆంగ్లంలోకి రుజువులను అనువదించే దాని సామర్థ్యం అవి సరైనవని తనిఖీ చేయడం సులభం చేస్తుంది అని గోవర్స్ చెప్పారు. తప్పుడు ప్రతిస్పందనలను తగ్గించడం ద్వారా జెమిని వంటి Google పెద్ద భాషా నమూనాలను మెరుగుపరచడంలో AlphaProof సహాయం చేయగలదని అతని బృందం భావిస్తున్నట్లు హుబెర్ట్ చెప్పారు.
$5 మిలియన్ల బహుమతిని ఆఫర్ చేసిన AI మ్యాథమెటికల్ ఒలింపియాడ్
ట్రేడింగ్ కంపెనీ XTX మార్కెట్స్ IMOలో బంగారు పతకాన్ని సాధించగల AI కోసం AI మ్యాథమెటికల్ ఒలింపియాడ్ $5 మిలియన్ల బహుమతిని ఆఫర్ చేసింది. అయితే AlphaProof పబ్లిక్గా అందుబాటులో లేనందున దానికి అర్హత లేదు. "DeepMind పురోగతులు AIMO ప్రైజ్లోకి ప్రవేశించడానికి మరిన్ని బృందాలను ప్రేరేపిస్తాయని మేము ఆశిస్తున్నాము. DeepMind నుండి పబ్లిక్ ఎంట్రీని స్వాగతిస్తాము" అని XTX మార్కెట్లలో అలెక్స్ గెర్కో చెప్పారు.
