OpenAI தனது அடுத்த தலைமுறை AI மாதிரியாக Astra-வை அறிவித்து, அதன் ஒரு உள் பதிப்பு பத்து நீண்ட காலமாக தீர்க்கப்படாத கணிதப் பிரச்சினைகளில் தீர்வு அல்லது முக்கிய முன்னேற்றம் கண்டது. மனிதர் உருவாக்கிய Lean சான்றிதழ்களில் இவை ஒழுங்குபடுத்தப்பட்டு, மாதிரியின் சிந்தனை செயல்முறை வெளியிடப்படும். இதற்கான டோக்கன் செலவு சுமார் $2,000 என்று மதிப்பிடப்பட்டுள்ளது.
OpenAI, தனது வரவிருக்கும் AI மாதிரி வரிசையைக் ‘Astra’ என்று பெயரிட்டு, இந்த மாதிரி பத்து நீண்டகாலம் தீர்க்கப்படாத கணிதப் பிரச்சினைகளில் முக்கிய முன்னேற்றம் கண்டது என்று அறிவித்தது. இந்தப் பிரச்சினைகள் உயர்ந்த பரிமாண ஜியாமெட்ரி, கோடிங் தியோரி, குழு தியோரி, குவாண்டம் சிக்கல்தன்மை, லாட்டிஸ் கிரிப்டோகிராஃபி போன்ற பல துறைகளை உள்ளடக்கியவை.
AI‑ஆல் உருவாக்கப்பட்ட கணித ஆதாரங்களை மனித ஆய்வாளர்கள் Lean சான்றிதழ்களில் முறையாக ஒழுங்குபடுத்தி, ஒவ்வொரு தீர்விற்கும் மாதிரியின் சிந்தனை விளக்கத்தை வெளியிட திட்டமிட்டுள்ளனர். Astra மாதிரியின் தொழில்நுட்ப விவரங்கள் வெளிப்படுத்தப்படவில்லை, ஆனால் இந்தப் பிரச்சினைகளை தீர்க்க தேவையான டோக்கன் செலவு GPT‑5.6 Sol API விலையில் சுமார் $2,000 ஆகும், இது இத்தகைய சிக்கலான பிரச்சினைகளுக்கு ஒப்பிடத்தக்க கணினி திறன் குறைவு என்பதைக் காட்டுகிறது.
