వార్తల్లో ఎందుకు ఉంది?
OpenAI 166 పేజీల గణిత పేపర్ను మరియు అధికారిక లీన్ ఫైల్ను సెప్టెంబర్ 8న విడుదల చేసింది. తమ వ్యవస్థ బలవంతపు త్రిమితీయ నేవియర్-స్టోక్స్ సమీకరణాలకు ఫైనైట్-టైమ్ సింగులారిటీని నిరూపించిందని సంస్థ చెబుతోంది. ఇది అధికారిక మిలీనియం సమస్యలో అనుమతించబడిన ప్రత్యామ్నాయాలకు సమాధానం ఇస్తుంది. అయితే స్వతంత్ర గణిత అంగీకారం ఇంకా ఆ వాదనను స్థాపించలేదు.
సమీకరణాలు దేనిని వివరిస్తాయి?
గాలి మరియు నీరు వంటి ద్రవాలు ఎలా కదులుతాయో నేవియర్-స్టోక్స్ సమీకరణాలు వివరిస్తాయి. అవి ద్రవ్యరాశి పరిరక్షణతో పాటు ద్రవ్యవేగం యొక్క పరిరక్షణను వ్యక్తపరుస్తాయి. పీడనం, వేగం, స్నిగ్ధత మరియు బాహ్య శక్తులు ప్రవాహం అంతటా సంకర్షణ చెందుతాయి. ఇంజనీర్లు విమానం, వాతావరణం మరియు ప్రసరణ అధ్యయనాలలో సంఖ్యా రూపాలను ఉపయోగిస్తారు.
సమీకరణాలు ద్రవాన్ని ప్రతి అణువును ట్రాక్ చేయడానికి బదులుగా నిరంతర పదార్థంగా పరిగణిస్తాయి. ఆ ఉజ్జాయింపు అనేక సాధారణ సెట్టింగులలో చాలా బాగా పనిచేస్తుంది. అయినప్పటికీ వాటి త్రిమితీయ గణితం కష్టంగానే ఉంది. చిన్న సుడిగుండం కదలికలు అనేక ప్రమాణాలలో సంకర్షణ చెందుతాయి మరియు సంక్లిష్టమైన అల్లకల్లోలాన్ని సృష్టిస్తాయి.
క్లాడ్-లూయిస్ నేవియర్ మరియు జార్జ్ గాబ్రియేల్ స్టోక్స్ పంతొమ్మిదవ శతాబ్దంలో కీలక రూపాలను అభివృద్ధి చేశారు. జీన్ లెరే తరువాత 1934లో కొన్ని బలహీనమైన పరిష్కారాల ఉనికిని నిరూపించాడు. ఇటువంటి పరిష్కారాలు విశాలమైన గణిత కోణంలో సమీకరణాలను సంతృప్తిపరుస్తాయి. ప్రతి మృదువైన ప్రారంభం మృదువుగా ఉంటుందా లేదా అనేది కేంద్ర పరిష్కృతం కాని సమస్యగా మారింది.
మిలీనియం ప్రైజ్ సమస్య
క్లే మ్యాథమెటిక్స్ ఇన్స్టిట్యూట్ 2000 సంవత్సరంలో ఏడు మిలీనియం ప్రైజ్ సమస్యలను పేరు పెట్టింది. నేవియర్-స్టోక్స్ ఉనికి మరియు సున్నితత్వం వాటిలో ఒకటి. అధికారిక సూత్రీకరణ గ్లోబల్ స్మూత్నెస్ రుజువు లేదా చెల్లుబాటు అయ్యే బ్రేక్డౌన్ ఉదాహరణను అనుమతిస్తుంది. అనేక ఖచ్చితమైన ప్రత్యామ్నాయాలు విభిన్న డొమైన్లు మరియు బాహ్య బలవంతపు పరిస్థితులను కవర్ చేస్తాయి.
సింగులారిటీ అంటే పరిమిత సమయ వ్యవధిలో గణిత పరిమాణం అపరిమితంగా మారుతుంది. ఇది అనంతమైన వేగాన్ని చేరుకునే వాస్తవ ద్రవాన్ని అంచనా వేయదు. నిజమైన ద్రవాలు అణువులను కలిగి ఉంటాయి, అయితే ఈ సమీకరణాలు నిరంతరాయాన్ని ఉపయోగిస్తాయి. సింగులారిటీ ఆ గణిత వివరణలో పరిమితిని గుర్తిస్తుంది.
స్నిగ్ధత సాధారణంగా వేగంలో తీవ్రమైన మార్పులను సున్నితం చేస్తుంది. కఠినమైన ఊహలను కలుసుకునేటప్పుడు చెల్లుబాటు అయ్యే బ్రేక్డౌన్ ఉదాహరణ ఆ ప్రభావాన్ని అధిగమించాలి. ఇది కేవలం అనంతమైన శక్తిని చొప్పించదు. ప్రారంభ డేటా మరియు వర్తించే శక్తి సమస్యలోని సున్నితత్వం మరియు శక్తి పరిస్థితులను సంతృప్తి పరచాలి.
OpenAI ఏమి క్లెయిమ్ చేసింది
ప్రకటించిన సిద్ధాంతం త్రిమితీయ అంతరిక్షంలో సున్నా వేగంతో మొదలవుతుంది. ఇది కాంపాక్ట్ మద్దతుతో మృదువైన బాహ్య శక్తిని ఉపయోగిస్తుంది. నిర్మించిన ప్రవాహం పరిమిత గతి శక్తిని ఉంచుతుంది కానీ అపరిమిత వేగాన్ని అభివృద్ధి చేస్తుంది. ఇది చార్లెస్ ఫెఫెర్మాన్ యొక్క అధికారిక సూత్రీకరణలో ప్రత్యామ్నాయాలు C మరియు D లను స్థాపిస్తుందని OpenAI చెబుతోంది.
లోపలికి తిరుగుతున్నప్పుడు విస్తరించే సుడిగుండాన్ని సంస్థ వివరిస్తుంది. బాహ్య శక్తి మృదువుగా ఉండేలా అనేక పెద్ద నిబంధనలు ఆరోపించబడినట్లు రద్దు చేయబడ్డాయి. ఆ బ్యాలెన్సింగ్ చర్య ప్రూఫ్ యొక్క సాంకేతిక అంశం. పాఠకులు భౌతిక చిత్రాన్ని మాత్రమే కాకుండా ప్రతి అంచనా మరియు నిర్మాణాన్ని పరిశీలించాలి.
OpenAI లీన్ లో మెషీన్-చెకడ్ ఫార్మలైజేషన్ను కూడా విడుదల చేసింది. ఎన్కోడ్ చేసిన నిర్వచనాలు మరియు మునుపటి ఫలితాల నుండి పేర్కొన్న దశలు అనుసరిస్తాయా లేదా అని లీన్ ధృవీకరిస్తుంది. ఇది తప్పిపోయిన తార్కిక లింక్లను బహిర్గతం చేస్తుంది. ప్రచురించబడిన మిలీనియం సమస్యకు ప్రతి నిర్వచనం విశ్వసనీయంగా సరిపోలుతుందని ఇది స్వయంగా హామీ ఇవ్వదు.
అంగీకారం ఎందుకు తక్షణమే ఉండదు
నిపుణులు దానిని పరిశీలించే వరకు కొత్తగా పోస్ట్ చేసిన రుజువు క్లెయిమ్గానే ఉంటుంది. నిపుణులు ఊహలు, లెక్కలు మరియు అధికారిక సమస్యతో కనెక్షన్ని తనిఖీ చేయాలి. దాచిన సిద్ధాంతాలు లేదా సరిపోలని స్టేట్మెంట్ల కోసం అధికారిక కోడ్కు సమీక్ష కూడా అవసరం. సుదీర్ఘమైన మరియు కష్టమైన పేపర్ ఈ ప్రక్రియను ముఖ్యంగా ముఖ్యమైనదిగా చేస్తుంది.
క్లే హక్కుదారుల నుండి నేరుగా సమర్పణలను అంగీకరించదు. దాని నియమాలకు అర్హత ఉన్న అవుట్లెట్లో ప్రచురణ అవసరం. ఆ తర్వాత కనీసం రెండేళ్లు గడవాలి. బహుమతి పరిశీలనకు ముందు ఈ పరిష్కారం ప్రపంచ గణిత శాస్త్ర సమాజంలో సాధారణ అంగీకారాన్ని కూడా పొందాలి.
కృత్రిమ మేధస్సు మరియు పరిశోధన క్రెడిట్
ఒక పెద్ద సమన్వయ ఏజెంట్ వ్యవస్థ అనేక రోజుల పాటు ఫలితాన్ని ఉత్పత్తి చేసిందని OpenAI చెబుతోంది. మానవ బృందాలు అప్పుడు కాగితం మరియు అధికారిక ధృవీకరణను సిద్ధం చేశాయి. పెద్ద సాంకేతిక ఖాళీలను శోధించడానికి శక్తివంతమైన మద్దతును ఈ ప్రక్రియ సూచిస్తుంది. ఇది పునరుత్పత్తి, పర్యవేక్షణ మరియు చదవగలిగే గణిత వివరణ గురించి ప్రశ్నలను కూడా లేవనెత్తుతుంది.
గణిత శాస్త్రజ్ఞులు ట్రిస్టన్ బక్మాస్టర్ మరియు లెవెంట్ అల్పోగే విడివిడిగా సంబంధిత ఫోర్స్డ్-ఆయిలర్ ఫలితాలను ప్రకటించారు. బక్మాస్టర్ డియెగో కార్డోబా మరియు లూయిస్ మార్టినెజ్-జోరోవా ద్వారా మునుపటి పనికి క్రెడిట్ ఇచ్చాడు. అతను OpenAIతో ప్రైవేట్ కమ్యూనికేషన్లను మరియు సమయపాలన గురించి ఆందోళనలను కూడా వివరించాడు. OpenAI వారి ప్రచురించని విషయాన్ని ఉపయోగించిందని అతని ప్రకటన నిరూపించలేదు.
OpenAI దాని పరిశోధకులు మరియు ఏజెంట్లు ఆ పని నుండి నిర్దిష్ట వినియోగదారు డేటాను చూడలేదని చెబుతోంది. ఇది డి-ఐడెంటిఫైడ్ ప్రొడక్ట్-యూజ్ డేటా నుండి పరోక్ష మెరుగుదలని పూర్తిగా మినహాయించదు. ఇవి పోటీపడుతున్న, జాగ్రత్తగా అర్హత కలిగిన ఖాతాలు. మద్దతు లేని గోప్యతా అన్వేషణగా మారకుండా అవి పాలన చర్చలను తెలియజేయాలి.
తర్వాత ఏమి జరగాలి?
పేపర్ మరియు కోడ్ను ద్రవ విశ్లేషకులు మరియు ఫార్మల్-మెథడ్స్ నిపుణులు బహిరంగంగా పరిశీలించాల్సిన అవసరం ఉంది. రచయితలు పూర్తి వివరాలతో సాంకేతిక అభ్యంతరాలకు సమాధానం ఇవ్వాలి. స్వతంత్ర బృందాలు నిర్వచనాల నుండి ఫలితాన్ని పునర్నిర్మించాలి. తుది నిర్మాణం మరియు దానిని ప్రారంభించే మునుపటి ఆలోచనలు రెండింటినీ స్పష్టమైన క్రెడిట్ గుర్తించాలి.
ముగింపు
OpenAI నిర్దిష్ట మరియు పరీక్షించదగిన నేవియర్-స్టోక్స్ సింగులారిటీ వాదనను ప్రదర్శించింది. ఇది మిలీనియం సూత్రీకరణలో అనుమతించబడిన బలవంతపు కేసును లక్ష్యంగా చేసుకుంటుంది. అధికారిక ధృవీకరణ దాని సమీక్ష ప్యాకేజీని బలోపేతం చేస్తుంది కానీ స్వతంత్ర అంగీకారాన్ని భర్తీ చేయదు. జాగ్రత్తగా పరిశీలన, ఆపాదింపు మరియు పారదర్శక పద్ధతులు ఇప్పుడు ఫలితం యొక్క స్థాయిని నిర్ణయించాలి.