OpenAI ਦਾ ਵੱਡਾ ਕਦਮ: AI ਨੇ ਬਣਾਏ **722** ਗਣਿਤ ਦੇ ਸਬੂਤ (Math Proofs), ਸਾਇੰਸ ਦੀ ਦੁਨੀਆ ਵਿੱਚ ਆਵੇਗਾ ਇਨਕਲਾਬ

TECHNOLOGY
Whalesbook Logo
AuthorJasleen Kaur|Published at:
OpenAI ਦਾ ਵੱਡਾ ਕਦਮ: AI ਨੇ ਬਣਾਏ **722** ਗਣਿਤ ਦੇ ਸਬੂਤ (Math Proofs), ਸਾਇੰਸ ਦੀ ਦੁਨੀਆ ਵਿੱਚ ਆਵੇਗਾ ਇਨਕਲਾਬ

OpenAI ਨੇ ਆਪਣੇ AI ਮਾਡਲਾਂ ਰਾਹੀਂ ਤਿਆਰ ਕੀਤੇ **722** ਗਣਿਤ ਦੇ ਖਰੜੇ GitHub 'ਤੇ ਜਾਰੀ ਕੀਤੇ ਹਨ। ਇਹ ਕਦਮ AI ਨੂੰ ਸਿਰਫ਼ ਟੈਕਸਟ ਲਿਖਣ ਵਾਲੇ ਟੂਲ ਤੋਂ ਬਦਲ ਕੇ ਗੁੰਝਲਦਾਰ ਵਿਗਿਆਨਕ ਖੋਜਾਂ ਕਰਨ ਵਾਲੇ ਇੱਕ ਮਾਧਿਅਮ ਵਜੋਂ ਸਥਾਪਿਤ ਕਰਦਾ ਹੈ।

OpenAI ਹੁਣ ਸਿਰਫ਼ ਚੈਟਬੋਟਸ ਤੱਕ ਸੀਮਤ ਨਹੀਂ ਰਿਹਾ, ਸਗੋਂ ਕੰਪਨੀ ਨੇ ਹੁਣ ਗੁੰਝਲਦਾਰ ਗਣਿਤ ਦੀ ਖੋਜ ਵਿੱਚ ਕਦਮ ਰੱਖ ਦਿੱਤਾ ਹੈ। 6 ਅਕਤੂਬਰ 2026 ਨੂੰ ਕੰਪਨੀ ਨੇ GitHub 'ਤੇ ਇੱਕ ਰਿਪੋਜ਼ਟਰੀ ਜਾਰੀ ਕੀਤੀ ਹੈ, ਜਿਸ ਵਿੱਚ 722 ਗਣਿਤ ਦੇ ਖਰੜੇ ਅਤੇ ਉਨ੍ਹਾਂ ਦੇ ਪ੍ਰਮਾਣਿਕ ਸਬੂਤ ਸ਼ਾਮਲ ਹਨ। ਇਹ ਕੰਮ Institute for Advanced Study ਦੇ ਮਾਹਿਰਾਂ ਨਾਲ ਮਿਲ ਕੇ ਕੀਤਾ ਗਿਆ ਹੈ।

Lean ਲੈਂਗੂਏਜ ਨਾਲ ਮਿਲੇਗੀ ਸਟੀਕਤਾ

AI ਦੇ ਵੱਡੇ ਮੁੱਦਿਆਂ ਵਿੱਚੋਂ ਇੱਕ 'hallucinations' (ਗਲਤ ਜਾਣਕਾਰੀ) ਨੂੰ ਖਤਮ ਕਰਨ ਲਈ, OpenAI ਨੇ Lean ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ ਦੀ ਵਰਤੋਂ ਕੀਤੀ ਹੈ। ਇਹ ਟੂਲ ਗਣਿਤ ਦੇ ਸਬੂਤਾਂ ਦੀ ਤਰਕਸੰਗਤ ਜਾਂਚ ਕਰਦਾ ਹੈ, ਜਿਸ ਨਾਲ ਪੂਰੀ ਦੁਨੀਆ ਦੇ ਵਿਗਿਆਨੀ ਖੁਦ ਚੈੱਕ ਕਰ ਸਕਦੇ ਹਨ ਕਿ AI ਵੱਲੋਂ ਦਿੱਤਾ ਗਿਆ ਹੱਲ ਸਹੀ ਹੈ ਜਾਂ ਨਹੀਂ। ਹਰ ਨਤੀਜੇ ਨੂੰ ਤਿਆਰ ਕਰਨ ਲਈ ਲਗਭਗ 3 ਘੰਟੇ ਦੇ ChatGPT Pro ਜਿੰਨੀ ਐਨਰਜੀ ਖਰਚ ਹੋਈ ਹੈ।

ਸੈਕਟਰ ਲਈ ਸੰਕੇਤ

ਭਾਵੇਂ OpenAI ਇੱਕ ਪ੍ਰਾਈਵੇਟ ਕੰਪਨੀ ਹੈ ਅਤੇ NSE ਜਾਂ BSE 'ਤੇ ਲਿਸਟਡ ਨਹੀਂ ਹੈ, ਪਰ ਇਹ ਕਦਮ ਪੂਰੇ AI ਸੈਕਟਰ ਲਈ ਇੱਕ 'ਬੈਲਵੇਦਰ' (Bellwether) ਹੈ। ਜੇ AI ਗਣਿਤ ਵਰਗੇ ਵਿਸ਼ਿਆਂ ਵਿੱਚ ਮਹਾਰਤ ਹਾਸਲ ਕਰ ਲੈਂਦਾ ਹੈ, ਤਾਂ ਭਵਿੱਖ ਵਿੱਚ ਦਵਾਈਆਂ ਦੀ ਖੋਜ (Drug Discovery), ਫਿਜ਼ਿਕਸ ਅਤੇ ਕੈਮਿਸਟਰੀ ਵਿੱਚ ਇਸ ਦੀ ਵਰਤੋਂ ਕ੍ਰਾਂਤੀਕਾਰੀ ਹੋਵੇਗੀ। ਇਹ ਸਾਫਟਵੇਅਰ ਅਤੇ ਡਾਟਾ ਫਰਮਾਂ ਲਈ ਨਵੀਂ ਚੁਣੌਤੀ ਪੈਦਾ ਕਰ ਸਕਦਾ ਹੈ।

ਚੁਣੌਤੀਆਂ ਅਤੇ ਖਤਰਾ

ਇਸ ਪ੍ਰੋਜੈਕਟ ਨੂੰ ਲੈ ਕੇ ਵਿਦਵਾਨਾਂ ਵਿੱਚ ਬਹਿਸ ਵੀ ਸ਼ੁਰੂ ਹੋ ਗਈ ਹੈ। OpenAI ਨੇ ਖੁਦ ਮੰਨਿਆ ਹੈ ਕਿ ਕਈ ਸਬੂਤ ਅਜੇ ਵੀ ਜਾਂਚ ਦੇ ਪੜਾਅ ਵਿੱਚ ਹਨ ਅਤੇ ਕੁਝ ਵਿੱਚ ਗਲਤੀਆਂ ਹੋ ਸਕਦੀਆਂ ਹਨ। ਕੀ ਮਸ਼ੀਨ ਦੁਆਰਾ ਕੀਤੀ ਗਈ ਖੋਜ ਮਨੁੱਖੀ ਖੋਜ ਦੀ ਥਾਂ ਲੈ ਸਕਦੀ ਹੈ? ਇਹ ਸਵਾਲ ਆਉਣ ਵਾਲੇ ਸਮੇਂ ਵਿੱਚ ਉਦਯੋਗ ਲਈ ਵੱਡੀ ਚਰਚਾ ਦਾ ਵਿਸ਼ਾ ਬਣਿਆ ਰਹੇਗਾ।

Disclaimer: This article is published for informational purposes only. This is not a buy sell recommendation.