OpenAI తన తదుపరి AI మోడల్ సిరీస్ను ‘Astra’ అని పేరు పెట్టి, ఒక అంతర్గత వెర్షన్ పది సంవత్సరాలుగా పరిష్కరించబడని గణిత సమస్యలను పరిష్కరించింది లేదా ముఖ్యమైన పురోగతి సాధించింది అని ప్రకటించింది. AI‑సృష్టించిన పూర్వాపరాలు Lean సర్టిఫికేట్లో రూపాంతరం చేయబడి, మోడల్ యొక్క ఆలోచనా ప్రక్రియను కూడా పబ్లిష్ చేయాలనుకుంటున్నారు. టోకెన్ ఖర్చు సుమారు $2,000 గా అంచనా వేయబడింది.
OpenAI తన కొత్త AI మోడల్ కుటుంబాన్ని ‘Astra’ అని ప్రకటించి, ఈ మోడల్ పది దీర్ఘకాలిక, అపరిష్కృత గణిత సమస్యలపై పరిష్కారం లేదా గణనీయమైన పురోగతి సాధించిందని తెలిపారు. ఈ సమస్యలు హై‑డైమెన్షనల్ జ్యామితి, కోడింగ్ సిద్ధాంతం, గ్రూప్ థియరీ, క్వాంటం కంప్లెక్సిటీ, లాటిస్ క్రిప్టోగ్రఫీ వంటి విభిన్న శాస్త్ర రంగాలను కలిగి ఉన్నాయి.
AI‑సృష్టించిన గణిత సాక్ష్యాలను మానవులు Lean సర్టిఫికేట్లో అధికారికంగా మార్చి, వాటిని మానుస్క్రిప్ట్లుగా సిద్ధం చేశారు. మోడల్ యొక్క ఆలోచనా ప్రక్రియను ప్రతి పరిష్కారం కోసం పబ్లిష్ చేయాలని OpenAI చెప్పింది. Astra మోడల్ యొక్క సాంకేతిక వివరాలు వెల్లడించబడకపోయినా, ఈ సమస్యలను పరిష్కరించడానికి అవసరమైన టోకెన్ల ఖర్చు GPT‑5.6 Sol API రేటులో సుమారు $2,000 అని పేర్కొన్నది, ఇది ఈ స్థాయి క్లిష్టతకు సంబంధించి గణన సామర్థ్యంగా తక్కువగా ఉండవచ్చని సూచిస్తుంది.
