ইনস্টিটিউট অব সায়েন্স অ্যান্ড টেকনোলজি অস্ট্রিয়ার (ISTA) অধ্যাপক তামাশ হাউজেল Project Numina-র ফেলোশিপ পেয়েছেন, যা প্যারিসভিত্তিক একটি অলাভজনক সংস্থা এবং গণিতের জন্য ওপেন-সোর্স কৃত্রিম বুদ্ধিমত্তা তৈরি করে। ফেলোশিপে ১২ মাসের জন্য ৫০,০০০ ইউরো মূল্যের কম্পিউটিং সহায়তা ও সফটওয়্যার ব্যবহারের সুযোগ রয়েছে।
Sandbox নামের প্রকল্পটি একটি ডিজিটাল পরিবেশ, যেখানে গণিতবিদ ও AI এজেন্ট গণিতের এমন একটি ক্ষেত্রে একসঙ্গে কাজ করেন যা এখনও কোনো প্রুফ অ্যাসিস্ট্যান্টে আনুষ্ঠানিক রূপ পায়নি। লক্ষ্য হলো একগুচ্ছ অমীমাংসিত অনুমান প্রমাণের জন্য নতুন তত্ত্ব গড়া, যেখানে মানুষের নির্দেশনায় প্রতিটি ধাপ কম্পিউটারে যাচাই হয়।
একটি কম্পিউটার বীজগণিত ব্যবস্থা বক্তব্য যাচাই করে এবং একটি প্রুফ কার্নেল প্রমাণ সনদ দেয়। ISTA-র মতে, ব্যবস্থাটি তিন সপ্তাহে চালু হয়েছে এবং দলটি ইতিমধ্যে একটি গুরুত্বপূর্ণ ফল প্রমাণ করেছে।
