ვაქვეყნებთ შიდა გამოყენების მოწინავე მოდელით მიღებულ მრავალ ახალ მათემატიკურ შედეგს.
გვსურს, მათემატიკოსთა საზოგადოებისთვის შედეგების გაზიარების ერთიანი სტანდარტი შევიმუშაოთ. საუკეთესო პრაქტიკის დასადგენად კონსულტაციებს გავდივართ დამოუკიდებელ პერსპექტიულ კვლევათა ინსტიტუტის მათემატიკისა და ხელოვნური ინტელექტის საკონსულტაციო ჯგუფთან(იხსნება ახალ ფანჯარაში) და შედეგების გამოქვეყნებისას ვითვალისწინებთ მის რჩევებსა და საჯარო რეკომენდაციებს(იხსნება ახალ ფანჯარაში).
ამჯერად შედეგებს GitHub-ის რეპოზიტორიუმში ვაქვეყნებთ, ნაშრომების შესწორებისა და ციტირების წესებთან ერთად. კვლავ განვიხილავთ ამ შედეგების გამოქვეყნების სხვა შესაძლებლობებსაც — საზოგადოების მიერ მართულ პლატფორმებზე, რომლებიც კომიტეტის მითითებებს შეესაბამება. სამომავლო პუბლიკაციებისთვის ვიღებთ ვალდებულებას, კიდევ უფრო გავაუმჯობესოთ ნაშრომების ხარისხი ციტირების, მათემატიკური მასალის გადმოცემისა და შედეგების წარდგენის კუთხით, რათა მათი გაგება უფრო მარტივი იყოს.
ჩვენს GitHub-ის რეპოზიტორიუმში ასევე ვაზიარებთ მრავალი მტკიცებულების ფორმალიზაციას Lean-ში — პროგრამირების ენაში, რომელიც კომპიუტერით მათემატიკური მტკიცებულებების შემოწმების საშუალებას იძლევა. ახალ ფორმალიზაციებს რეპოზიტორიუმს მიღებისთანავე დავამატებთ.
სამეცნიერო გამჭვირვალობისა და ღიაობის ხელშესაწყობად რეპოზიტორიუმში დამატებით დეტალებსაც ვაქვეყნებთ იმის შესახებ, თუ როგორ მივიღეთ ეს შედეგები. ეს მოიცავს მოდელის მსჯელობის 10 შეჯამებას, მოხმარებული გამოთვლითი რესურსის შეფასებას ChatGPT‑ში Pro-ს გამოყენების მიხედვით და სტატისტიკას იმის შესახებ, თუ რამდენი ამოცანის ამოხსნა სცადა მოდელმა. თითოეული შედეგის მიღებას საშუალოდ დასჭირდა დაახლოებით იმდენივე გამოთვლითი რესურსი, რამდენიც ChatGPT Pro-ს სამსაათიან ფიქრს სჭირდება.
გვსურს, ამ მიღწევებმა გააფართოოს კაცობრიობის ცოდნის საზღვრები და მათემატიკაში შემდგომი წინსვლა გახადოს შესაძლებელი. დავაფინანსებთ სემინარებს, კონფერენციებსა და სპეციალურ პროგრამებს, რომლებიც AI-ის მიერ მიღებული მნიშვნელოვანი შედეგების გააზრებას მიეძღვნება. ამის შესახებ მეტს უახლოეს მომავალში გაგიზიარებთ.
გვსურს, მეცნიერებს უშუალოდ მივცეთ წვდომა უახლეს შესაძლებლობებზე და ვმუშაობთ იმაზე, რომ პასუხისმგებლობით გავხადოთ ხელმისაწვდომი მოდელი, რომელმაც ეს შედეგები მიიღო. სწორედ ამიტომაა მნიშვნელოვანი, გავაგრძელოთ ჩვენი შიდა გამოყენების მოწინავე მოდელების შეფასება მათემატიკასა და სხვა მეცნიერებებში, რათა უფრო სწრაფად შევქმნათ ამ დარგების განვითარებისთვის საჭირო ინსტრუმენტები. კვლავაც გავითვალისწინებთ საზოგადოების გამოხმაურებას და განვაახლებთ მნიშვნელოვანი სამეცნიერო მიღწევების გასაჯაროების სტანდარტებს.
