তিন বছর আগে, AI দুটি সংখ্যা যোগ করতে পারত না। এক বছর আগে, Open AI এবং Deep Mind-এর মডেলগুলি IMO-তে স্বর্ণপদক স্তর অর্জন করেছিল। এখন তারা স্বায়ত্তশাসিতভাবে প্রধান খোলা প্রশ্নগুলি সমাধান করে। এই প্রবণতা সম্ভবত চলতে থাকবে, গণিতের আমূল পুনর্বিবেচনার প্রয়োজন হবে।

গণিতের সমাপ্তি শিরোনামের একটি বক্তৃতা একটি বিষণ্ণ ভবিষ্যতের সতর্কতা দিয়েছিল যেখানে AI অতিমানবীয় কিন্তু প্রতিষ্ঠানগুলি মানব বোঝাপড়া বাধা দেয়। আমি বিশ্বাস করি যদি একাডেমিক গণিত অভিযোজিত হয় তবে আমরা এটি এড়াতে পারি।

লক্ষ্য নিয়ে কোনও ঐকমত্য নেই: সমস্যা সমাধান, খেলা, প্লেটোনিক ক্ষেত্রে প্রবেশ, বা গণিতের প্রতি ভালবাসা সঞ্চার। আমার উত্তর: উচ্চ মানের গণিত উৎপাদন ও বোঝা, এবং উচ্চ মানের গণিতবিদ উৎপাদন।

আমরা উপপাদ্য প্রমাণের মাধ্যমে লক্ষ্যগুলি কার্যকর করি। কিন্তু যদি সেটাই লক্ষ্য হত, তবে এটি স্বয়ংক্রিয় করা তুচ্ছ হত—একটি কম্পিউটার ZFC প্রমাণ গণনা করতে পারে। লক্ষ্য উপপাদ্য প্রমাণ করা নয়; এটি বোঝা।

মূল সত্তা: কোম্পানি: Open AI, Deep Mind