స్వతంత్రంగా పనిచేస్తున్న రెండు అత్యాధునిక AI వ్యవస్థలు, మూడు దశాబ్దాలుగా ఏ మానవ గణితశాస్త్రవేత్తా చేయలేనిది చేశాయి: ఎక్స్‌పోనెన్షియల్ టైమ్ హైపోథెసిస్ (ETH)ను ఖండించడం.
OpenAI ప్రకటించిన ప్రకారం, దాని పరిశోధన మోడల్ అక్టోబర్ 16న ETHకి సహజ భాషా ఖండనను కనుగొంది, మరుసటి రోజు దానిని యంత్ర నిరూపణ తనిఖీ సాధనమైన Leanలో అధికారిక రూపం ఇచ్చారు. 67 పేజీల పత్రంలో రచయితగా "OpenAI" పేరు ఉంది.
కొద్ది గంటల ముందు, Anthropic తన స్వంత 49 పేజీల పేపర్ "A 2^o(n) Time Algorithm for 3-SAT"ను ప్రచురించింది, దాని ఘనత "Claude, Anthropic"కు ఇవ్వబడింది. అంతర్గత Claude పరిశోధన మోడల్ అదే రోజు, అక్టోబర్ 16న, ప్రధాన అల్గారిథమ్‌ను కనుగొంది.
Russell Impagliazzo మరియు Ramamohan Paturi సుమారు 1999లో ప్రతిపాదించిన ETH ప్రకారం, బూలియన్ సాటిస్ఫయబిలిటీ సమస్యను ఎక్స్‌పోనెన్షియల్ సమయం కంటే వేగంగా పరిష్కరించే అల్గారిథమ్ ఉండదు. గ్రాఫ్ థియరీ, డేటాబేస్‌లు, కంప్యూటేషనల్ బయాలజీ మరియు కంప్యూటేషనల్ జ్యామితీలో వందలాది షరతులతో కూడిన కఠినత్వ ఫలితాలకు ఇది పునాది.
ఇరు బృందాలు ఇప్పుడు ఒక నిర్ణయక అల్గారిథమ్ ఉందని పేర్కొంటున్నాయి; అది సబ్‌ఎక్స్‌పోనెన్షియల్ సమయంలో తృప్తికరమైన కేటాయింపులను లెక్కిస్తుంది, ఘాతాంకంలోని ప్రధాన పదం రెండింటిలోనూ ఒక్కటే. ఈ వాదన నిలిస్తే, కాంప్లెక్సిటీ థియరీలోని ఒక భారం మోపే గోడ కూలిపోతుంది.
ధృవీకరణ వ్యవస్థ అసాధారణంగా బలంగా ఉంది. నిరూపణ Leanలో అధికారిక రూపంలో ఉంది, అది ప్రతి అడుగునూ యాంత్రికంగా తనిఖీ చేస్తుంది. విడుదల చేసిన పత్రాలను పరిశీలించిన TU Wien లోని Stefan Szeider ఇది సమీక్షను తట్టుకుంటుందని భావిస్తున్నారు. అన్నిటికంటే ఆసక్తికరం: OpenAI నియమించిన స్వతంత్ర సమీక్షా బృందంలో Impagliazzo మరియు Paturi స్వయంచక్రుతంగా ఉన్నారు - ఊహను రూపొందించినవారే దాని ఖండనను ఆడిట్ చేస్తున్నారు. వారి బహిరంగ లేఖలో ఇది కంప్యూటర్ సైన్స్‌లోని ఒక ముఖ్యమైన భాగాన్ని మార్చగలదని ఉంది.
ఫలితం అంతే ముఖ్యమైతే పరిమితులు కూడా అంతే. P versus NP ముట్టుకోబడలేదు. కొత్త అల్గారిథమ్ ఇంకా సూపర్‌పాలినామియల్ గానే ఉంది, కాబట్టి దీని నుండి వేగవంతమైన SAT సాల్వర్ రాదు. మారినది సిద్ధాంతపరంగా సాధ్యమైన దాని పటం, మరియు దాన్ని ఎవరు - లేదా ఏమి - మళ్లీ గీస్తున్నారు అనేది.
వ్యాపార నాయకులకు సంకేతం గణితంలో లేదు. AI టెక్స్ట్ మరియు కోడ్ రాయడం నుండి అసలైన, యంత్ర-ధృవీకరించబడిన పరిశోధనను రూపొందించడానికి అడుగుపెట్టిందనడమే సంకేతం. "యంత్రాలు కొత్త సైన్స్ చేయలేవు" అనే అనుమానం ఇప్పుడే తీవ్రమైన దెబ్బ తిన్నది; సామర్థ్య సరిహద్దు ఇప్పుడు చాలా ప్రణాళికా చక్రాల కంటే వేగంగా కదులుతోంది.
AIని టైపింగ్ అసిస్టెంట్‌గా కాకుండా పరిశోధన భాగస్వామిగా చూసే సంస్థలే మరో దశాబ్దం వేగాన్ని నిర్ణయిస్తాయి.
గణితపరంగా ఆలోచించండి. తెలివిగా ఇంజనీర్ చేయండి. వ్యూహాత్మకంగా నడపండి. బాధ్యతగా నిర్మించండి. ప్రపంచవ్యాప్తంగా విస్తరించండి. ఆర్టిఫిషియల్ ఇంటెలిజెన్స్ ద్వారా నిజమైన వ్యాపార విలువను సృష్టించండి.
