AI-translated from English; not yet reviewed by a fluent editor.

# AI-উৎপাদিত গাণিতিক প্রমাণ যাচাই নিয়ে Tristan Buckmaster

> World Science Festival-এর এক সাক্ষাৎকারে Tristan Buckmaster ব্যাখ্যা করেন, AI-উৎপাদিত যুক্তি কীভাবে আনুষ্ঠানিকভাবে যাচাই করা হয়েছিল এবং পাঠযোগ্য প্রমাণ ও স্বাধীন মূল্যায়ন কেন এখনও গুরুত্বপূর্ণ।

By BIG CHANGE Editorial

Published: 2026-10-08T22:26:20.730Z
Updated: 2026-10-08T22:26:20.730Z
Canonical: https://bigchange.ai/blog/tristan-buckmaster-ai-math-proof-checking

![An anonymous person stands back from a wall-mounted blackboard; crowded chalk strokes at left give way to an erased center and sparse strokes at right.](https://bigchange.ai/api/media/file/buckmaster-proof-readability-hero-v1.png)
Conceptual illustration of the work of making a dense argument readable. It does not show Tristan Buckmaster, the interview venue, an actual proof or a completed proof check. AI-generated illustration by BIG CHANGE.

একটি [2 অক্টোবরের World Science Festival সাক্ষাৎকারে](https://www.worldsciencefestival.com/programs/the-moment-ai-changed-mathematics-forever/), গণিতবিদ Tristan Buckmaster AI দিয়ে তৈরি একটি ফলের কথা বলেন, যেটিকে তিনি সঠিক মনে করেন, কিন্তু অন্য গণিতবিদদের পড়তে কঠিন লাগে। তাঁর বিবরণ সাম্প্রতিক Navier–Stokes ঘোষণার প্রশ্নটিকে আরও নির্দিষ্ট করে: পাঠযোগ্য ব্যাখ্যার জন্য যখন বাড়তি কাজ দরকার, তখন গবেষকসমাজ কীভাবে আনুষ্ঠানিক যুক্তি পরীক্ষা করবে?

Levent Alpöge-র সঙ্গে তাঁর কাজের প্রসঙ্গে Buckmaster আলোচনা করেন **মসৃণ বলসহ ত্রিমাত্রিক Euler সমীকরণ** নিয়ে। তাঁদের ফলটি [8 সেপ্টেম্বরের OpenAI দাবির](https://openai.com/index/navier-stokes-solution/) থেকে আলাদা; সেটি **মসৃণ বলসহ Navier–Stokes সমীকরণ** সম্পর্কে। Navier–Stokes-এ সান্দ্রতা আছে; Euler-এ নেই। সীমিত সময়ে ভাঙনের দাবিকৃত ফলের জন্য OpenAI একটি গবেষণাপত্র ও Lean-এ আনুষ্ঠানিক রূপ প্রকাশ করেছে। Millennium Prize পরিচালনাকারী প্রতিষ্ঠান কোনো পুরস্কার ঘোষণা করেনি।

## বড় পরিবর্তন

- **কী বদলেছে:**পৃথক forced-Euler ফল প্রতিষ্ঠা করতে AI-উৎপাদিত যুক্তি ও Lean ব্যবহারের অভিজ্ঞতা এবং এমন প্রমাণ গণিতবিদদের বোঝাতে এখনও কী কাজ দরকার—Buckmaster তা নিজের ভাষায় জানিয়েছেন।
- **কেন এটি গুরুত্বপূর্ণ:**আনুষ্ঠানিক যাচাই দেখাতে পারে যে কোডে লেখা যুক্তি নির্দিষ্ট সংজ্ঞা ও নির্ভরতা থেকে আসে। উপপাদ্যটি কী বলে, তার ধারণাগুলো কীভাবে কাজ করে এবং কার আগের কাজের ওপর এটি দাঁড়িয়ে—গণিতবিদদের তা-ও বুঝতে হয়।
- **যা নজরে রাখবেন:**Navier–Stokes নিয়ে OpenAI-র দাবির Clay-র মূল্যায়ন, প্রমাণের পাঠযোগ্য বিবরণ এবং লেখকত্ব ও প্রবেশাধিকার নিয়ে প্রকাশ্য আলোচনা দেখাবে ফলটি কীভাবে মূল্যায়িত হয়। ফলটির ওপর Buckmaster-এর আস্থা বিশেষজ্ঞের মত, পুরস্কার দেওয়ার সিদ্ধান্ত নয়।

## যাচাই করা যুক্তিরও ব্যাখ্যা দরকার

সেই [সাক্ষাৎকারে](https://youtu.be/PQYFRuZ5phs), Buckmaster বলেন, তাঁর Euler ফলের AI-উৎপাদিত প্রথম প্রমাণে কার্যকর ধারণার সঙ্গে অপ্রাসঙ্গিক গণনা ও দুর্বোধ্য লেখা মিশে ছিল। তাঁর দল প্রথমে প্রতিটি ধাপ পরীক্ষা করতে অন্য এজেন্ট ব্যবহার করে, তারপর আনুষ্ঠানিক যাচাইয়ের জন্য যুক্তিটি Lean-এ রূপান্তর করে। তিনি বলেন, উপস্থাপনাটি দুর্বল হলেও চূড়ান্ত প্রমাণটি সঠিক ছিল। এই বিবরণটি **তাঁর Euler কাজ**সম্পর্কে; OpenAI-এর পৃথক Navier–Stokes গবেষণাপত্রের প্রতিটি অংশ তিনি স্বাধীনভাবে যাচাই করেছেন—এমন অর্থে এটি পড়া উচিত নয়।

এই পার্থক্যের বাস্তব গুরুত্ব আছে। নির্দিষ্ট প্রমাণ-পরিবেশে নির্ভুলভাবে আনুষ্ঠানিক করা বক্তব্য Lean যাচাই করে। কিন্তু এর ফলে দীর্ঘ যুক্তি স্বয়ংক্রিয়ভাবে এমন গবেষকের কাছে পাঠযোগ্য হয় না, যিনি পদ্ধতিটি আবার ব্যবহার করতে চান। Buckmaster Brian Greene-কে বলেন, অন্য AI ব্যবস্থা এমন অনুচ্ছেদ বুঝতে পেরেছিল যা তিনি প্রায় পড়তেই পারছিলেন না; সেগুলোকে সাধারণ গাণিতিক ভাষায় রূপান্তর করতে AI-কে বলা কাজের অংশ হয়ে ওঠে। প্রকাশিত PDF কঠিন হলেও Navier–Stokes যুক্তির ধারণাগুলো তিনি বুঝতে পেরেছিলেন বলেও জানান। এগুলো তাঁর মূল্যায়ন, BIG CHANGE-এর প্রমাণ-নিরীক্ষা নয়; আমরা Lean ফাইল চালাইনি বা কোনো উপপাদ্যের বিচারকীয় পর্যালোচনা করিনি।

NYU Courant-এর [14 সেপ্টেম্বরের প্রতিবেদন ](https://cims.nyu.edu/dynamic/news/1528/)Buckmaster ও Alpöge-র কাজকে মসৃণ বল ও সসীম-শক্তির প্রাথমিক তথ্যসহ forced 3D Euler-এ সসীম সময়ে নিয়মিততা হারানো হিসেবে বর্ণনা করে। এতে বলা হয়, সহযোগিতার তিনটি গবেষণাপত্র Lean-এ আনুষ্ঠানিক করা হয়েছে এবং ফলটি Diego Córdoba ও Luis Martínez-Zoroa-র শুরু করা গবেষণা-পদ্ধতির অংশ। অবদানের কৃতিত্ব নির্ধারণে এসব তথ্য গুরুত্বপূর্ণ: মডেল-উৎপাদিত প্রমাণ বিদ্যমান গাণিতিক পথকে প্রসারিত করতে পারে, কিন্তু সেই পথ প্রতিষ্ঠাকারীদের মুছে না দিয়ে।

## দ্রুত এগিয়ে চলা ধারায় দুটি ফল

OpenAI বলেছে, তাদের অভ্যন্তরীণ এজেন্ট ব্যবস্থা প্রথমে **বাহ্যিক বলবিহীন Euler** ফল তৈরি করে, পরে সেই কাজের ধারাটি পৃথক Navier–Stokes নির্মাণে ব্যবহার করে। তাদের [ঘোষণা ](https://openai.com/index/navier-stokes-solution/)Buckmaster ও Alpöge-র অগ্রাধিকার স্বীকার করে **মসৃণ বলসহ Euler** ফলটির প্রমাণ স্বাধীনভাবে তৈরি হয়েছে বলে জানায়। সাক্ষাৎকারে Buckmaster গাণিতিক প্রক্রিয়াগুলোকে সম্পর্কিত বলেন এবং জানান, সান্দ্রতা সামলাতে OpenAI সঙ্কুচিত ঘূর্ণির ধারণা যোগ করেছে। বিবরণগুলো একমত যে দাবি দুটি আলাদা সমীকরণ ও প্রমাণের ধাপ নিয়ে; সময়ক্রম বা বৌদ্ধিক অবদানের সব প্রশ্নের মীমাংসা এগুলো করে না।

ইউরোপীয় গণিতীয় [European Mathematical Society ](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225)ঘোষণাটিকে স্বাগত জানালেও আগের কাজের ওপর জোর দেয় এবং লেখকত্ব, অবদানের স্বীকৃতি ও অভ্যন্তরীণ মডেলে প্রবেশাধিকার নিয়ে মনোযোগ দেওয়ার আহ্বান জানায়। [11 সেপ্টেম্বরের Clay প্রতিক্রিয়া ](https://www.claymath.org/news/navier-stokes-announcement/)বলেছিল, Navier–Stokes সমস্যা *সম্ভবত* সমাধান হয়েছে, তবে কৃতিত্ব মূল্যায়ন ও অবদান নির্ধারণে ইচ্ছাকৃতভাবে তাড়াহুড়ো করা হবে না। Buckmaster Greene-কে বলেন, OpenAI-র সমাধান আছে বলে তিনি বিশ্বাস করেন। দুটি কথাই একসঙ্গে সত্য হতে পারে: বিশেষজ্ঞের ইতিবাচক মূল্যায়ন এবং প্রতিষ্ঠানের চলমান পর্যালোচনা।

সাম্প্রতিক [OpenAI-র আরও তিনটি গণিতের পাণ্ডুলিপি প্রত্যাহার ](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)এটি পৃথক ঘটনা। তাদের জানানো চিহ্নের ভুলটি প্রতিটি দাবি আলাদাভাবে পরীক্ষা করার কারণ; Navier–Stokes প্রমাণে একই ভুল আছে—এটি তার প্রমাণ নয়। BIG CHANGE-এর [রিপোজিটরি পরিদর্শন নির্দেশিকা ](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)ব্যাখ্যা করে কীভাবে পাণ্ডুলিপির সংস্করণ ও প্রমাণ-উপকরণ খুঁজতে হয়; আর আমাদের [পর্যালোচনা-সক্ষমতা বিষয়ে মতামত ](https://bigchange.ai/blog/ai-research-discovery-review-capacity)ব্যাখ্যা ও যাচাইয়ের জন্য নিবেদিত সহায়তার প্রয়োজন বলে। [আগের Navier–Stokes নিবন্ধটি ](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes)এই ধারার শুরু নথিভুক্ত করে। AI ব্যবস্থা যুক্তি তৈরি করার পর কী ঘটে, সে বিষয়ে একজন কর্মরত গণিতবিদের বিবরণ সাক্ষাৎকারটি যোগ করে।

এত গুরুত্বপূর্ণ দাবির পর উপযোগী প্রকাশনা হবে নির্ভুল ও পাঠযোগ্য বিবরণ, পরীক্ষা করা যায় এমন আনুষ্ঠানিক উপকরণ এবং স্বাধীন গাণিতিক প্রতিক্রিয়া। প্রতিটির কাজ আলাদা। প্রমাণের প্রার্থী দ্রুত তৈরি হওয়ায় এসব কাজ আরও জরুরি, আবার Clay-র ঘোষিত প্রক্রিয়া সেগুলো সতর্কভাবে করার সুযোগ রাখে।

## সূত্র ও আরও পড়ুন

- [2 অক্টোবরের World Science Festival অনুষ্ঠানটি](https://www.worldsciencefestival.com/programs/the-moment-ai-changed-mathematics-forever/)সাক্ষাৎকারের তারিখ ও অংশগ্রহণকারী নিশ্চিত করে; [সাক্ষাৎকারের ভিডিওটি](https://youtu.be/PQYFRuZ5phs)Buckmaster-এর নিজের বিবরণের উৎস। তাঁর মূল্যায়ন তাঁর নামেই আরোপিত।
- [14 সেপ্টেম্বরের NYU Courant প্রতিবেদন](https://cims.nyu.edu/dynamic/news/1528/)Buckmaster ও Alpöge-র forced-Euler ফল, আগের গাণিতিক কাজ এবং Lean আনুষ্ঠানিকতার বিবরণ দেয়।
- [8 সেপ্টেম্বরের OpenAI ঘোষণা, 10 সেপ্টেম্বর হালনাগাদ](https://openai.com/index/navier-stokes-solution/), তাদের দাবিকৃত forced Navier–Stokes নির্মাণ, প্রকাশ্য গবেষণাপত্র ও Lean আনুষ্ঠানিকতা এবং সমসাময়িক কাজ সম্পর্কে তাদের বিবরণ তুলে ধরে। এটি ফলটির নির্মাতার বিবরণ, স্বাধীন স্বীকৃতি নয়।
- [11 সেপ্টেম্বরের Clay বিবৃতি](https://www.claymath.org/news/navier-stokes-announcement/)তাদের সতর্ক প্রকাশ্য অবস্থান ও মূল্যায়ন প্রক্রিয়া তুলে ধরে। [10 সেপ্টেম্বরের European Mathematical Society বিবৃতি](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225)অবদান, উৎস-পরিচয় ও প্রবেশাধিকার নিয়ে আলোচনা করে।
- BIG CHANGE-এর[প্রাথমিক Navier–Stokes প্রতিবেদন](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes), [রিপোজিটরি পরিদর্শন](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs), [পর্যালোচনা-সক্ষমতা বিষয়ে মতামত](https://bigchange.ai/blog/ai-research-discovery-review-capacity) এবং [তিনটি পাণ্ডুলিপি প্রত্যাহারের পৃথক প্রতিবেদন](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error) এই চলমান ঘটনার প্রেক্ষাপট দেয়।

## Sources

- [AI যে মুহূর্তে গণিতকে চিরতরে বদলে দিল](https://www.worldsciencefestival.com/programs/the-moment-ai-changed-mathematics-forever/) — অনুষ্ঠানের পরিচয়, তারিখ ও সাক্ষাৎকারের বিষয়বস্তু।
- [World Science Festival সাক্ষাৎকারের ভিডিও](https://youtu.be/PQYFRuZ5phs) — AI-সহায়তায় Euler কাজ, Lean যাচাই, OpenAI-র দাবি এবং ভবিষ্যৎ মূল্যায়ন নিয়ে Buckmaster-এর নিজের বিবরণ।
- [Tristan Buckmaster মসৃণ বলসহ 3D Euler-এর জন্য সসীম সময়ে blowup নির্মাণ করেন](https://cims.nyu.edu/dynamic/news/1528/) — ফল ও আগের কাজের প্রাতিষ্ঠানিক বিবরণ।
- [Millennium Prize-এর Navier–Stokes সমস্যা সম্পর্কে](https://openai.com/index/navier-stokes-solution/) — ফলটির নির্মাতা হিসেবে OpenAI-র দাবি ও সমসাময়িক কাজের বিবরণ।
- [Navier–Stokes ঘোষণা](https://www.claymath.org/news/navier-stokes-announcement/) — Clay-র সতর্ক প্রতিক্রিয়া ও মূল্যায়ন প্রক্রিয়া।
- [সাম্প্রতিক Navier–Stokes ঘোষণা নিয়ে EMS-এর বিবৃতি](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225) — অবদানের স্বীকৃতি ও প্রবেশাধিকার নিয়ে গণিতসমাজের অবস্থান।