ხელოვნური ინტელექტიSci-Techტექნოლოგიები
ფოტო: Pixabay/CC0 Public Domain
4
წაკითხვა
ბრიუსელის თავისუფალი უნივერსიტეტის მონაცემთა ანალიზის ლაბორატორიამ ახალი ნაშრომი გამოაქვეყნა, რომლის თანახმადაც კომერციული ენობრივი მოდელებით ორიგინალი მათემატიკური დამტკიცებების შექმნა შეიძლება. მკვლევრებმა თავიანთ ნაშრომში ChatGPT-5.2 (Thinking) მოდელი გამოიყენეს.
ჩატბოტმა დამტკიცება შექმნა, რომელიც მათემატიკოსების, ჟანისა და თენგის, მიერ 2024 წელს ჩამოყალიბებულ ჰიპოთეზას ხსნის. მათემატიკაში ჰიპოთეზა ვარაუდია, რომელიც ჭეშმარიტად მიიჩნევა მხოლოდ იმიტომ, რომ მასზე ბევრი რამ მიანიშნებს ან მრავალი მაგალითის მოყვანა შეიძლება, თუმცა ფორმალური დამტკიცება ჯერჯერობით არ მოეძებნება.
მათემატიკოსები ჰიპოთეზებს ხშირად მაშინ აყალიბებენ, როცა გარკვეულ კანონზომიერებას ამჩნევენ ან სხვადასხვა გამოთვლებით ერთსა და იმავე შედეგს იღებენ. ფორმალური დამტკიცების ჩამოყალიბების შემდეგ ჰიპოთეზა თეორემა ხდება.
ნაშრომის ავტორებს საბოლოო დამტკიცების მისაღებად ChatGPT-თან სულ რაღაც 7 მიმოწერა და დამტკიცების 4 ვერსია დასჭირდათ. ჩატბოტი განსაკუთრებით გამოსადეგი დამტკიცების ძებნის პროცესში აღმოჩნდა, ადამიანმა ექსპერტებმა კი სისწორის გადამოწმებასა და არგუმენტაციის პროცესში იმარჯვეს.
ავტორებმა წარმოადგინეს, რომ ChatGPT-5.2 (Thinking) მოდელმა დამტკიცების სტრუქტურა უმეტესად თავად, ადამიანებისგან მინიმალური ჩარევით, განავითარა.
მკვლევრები ამბობენ, რომ მათი ნაშრომი უფრო ფართო კონტექსტში უნდა განვიხილოთ, კონკრეტულად კი, ე. წ. vibe-proving კონტექსტში. ეს მიდგომაა, რომელშიც ენობრივ მოდელებს მაღალი დონის თეორიულ მსჯელობაზე ესაუბრებიან. მთავარი შეკითხვა ისაა, შეძლებს თუ არა ეს მიდგომა იმდენად სწრაფად განვითარებას, როგორც გასულ წელს vibe-coding განვითარდა. ეს უკანასკნელი კოდის წერაში ხელოვნური ინტელექტის გამოყენებას გულისხმობს.
როგორც აღვნიშნეთ, მოდელმა დამტკიცების დიდი ნაწილი თავად შექმნა, თუმცა გადამოწმება მაინც ადამიანების საქმეა. მკვლევრები იმედოვნებენ, რომ სამომავლოდ ხელოვნურ ინტელექტს ბევრი მათემატიკოსი გამოიყენებს, რათა ეს დარგი უფრო სწრაფად განვითარდეს.
ნაშრომი ამ დროისთვის რეცენზირებული არ არის, მას პრეპრინტების სერვერ arXiv-ზე შეგიძლიათ გაეცნოთ.
თუ სტატიაში განხილული თემა და ზოგადად: მეცნიერებისა და ტექნოლოგიების სფერო შენთვის საინტერესოა, გამოიწერე ჩვენი YouTube არხი და უყურე თემატურ ვიდეოებს.
კომენტარები
კვირის ტოპ-5
ამ ფრინველებს სიგარეტის ნამწვები ბუდეში მიაქვთ — მეცნიერებმა შეისწავლეს, რატომ აკეთებენ ამას17762 ნახვა
გამოქვაბულებში ჩხრიალა გველის ულამაზესი სახეობა აღმოაჩინეს5573 ნახვა
რაშია ბედნიერების საიდუმლო — რა გვასწავლა 88-წლიანმა კვლევამ3893 ნახვა
აღმოაჩინეს პატარა დინოზავრი, რომელსაც მულტფილმის პერსონაჟის სახელი დაარქვეს3809 ნახვა
რა არის C ვიტამინი და როდის გვჭირდება ის1426 ნახვა
გირჩევთ
გადახედვა
კოსმოსი
ვებისა და ჰაბლის ტელესკოპებით სატურნი გადაიღეს — როგორია ის ხილულ და ინფრაწითელ სპექტრში
ვებისა და ჰაბლის ტელესკოპებით სატურნი გადაიღეს — როგორია ის ხილულ და ინფრაწითელ სპექტრში
გადახედვა
მეცნიერება
ნახეთ: მელანია ტრამპი თეთრ სახლში ჰუმანოიდ რობოტთან ერთად გამოჩნდა
ნახეთ: მელანია ტრამპი თეთრ სახლში ჰუმანოიდ რობოტთან ერთად გამოჩნდა
ეკოლოგია
როგორ ზემოქმედებს კლიმატის ცვლილება წყალზე — მსოფლიო წყლის კრიზისის წინაშე
როგორ ზემოქმედებს კლიმატის ცვლილება წყალზე — მსოფლიო წყლის კრიზისის წინაშე
გადახედვა
მეცნიერება
მოშინაურების უძველესი მტკიცებულება — თურქეთში 16 000 წლის წინანდელი ძაღლის ნამარხი აღმოაჩინეს
მოშინაურების უძველესი მტკიცებულება — თურქეთში 16 000 წლის წინანდელი ძაღლის ნამარხი აღმოაჩინეს
გადახედვა
მეცნიერება
რას გვიჩვენებს 60 000 წლის წინანდელი გეომეტრიული ნიმუშები — როგორ იბადებოდა გეომეტრია
რას გვიჩვენებს 60 000 წლის წინანდელი გეომეტრიული ნიმუშები — როგორ იბადებოდა გეომეტრია
გადახედვა
დედამიწა
შეისწავლეს უცნაური მინერალი, რომელიც ფერს იცვლის — 30 წლის შემდეგ ის ლონდონში დააბრუნეს
შეისწავლეს უცნაური მინერალი, რომელიც ფერს იცვლის — 30 წლის შემდეგ ის ლონდონში დააბრუნეს
გადახედვა
მეცნიერება
რა არის უცნაური სტრუქტურა მარსზე, რომელიც ძველეგვიპტურ პირამიდას ჰგავს
რა არის უცნაური სტრუქტურა მარსზე, რომელიც ძველეგვიპტურ პირამიდას ჰგავს
გადახედვა
ადამიანი
ადამიანის ემოციები შეგვიძლია მისი სიარულის მანერით ამოვიცნოთ — როგორ
ადამიანის ემოციები შეგვიძლია მისი სიარულის მანერით ამოვიცნოთ — როგორ
გადახედვა
მეცნიერება
ჰიუსტონში ერთ-ერთ სახლს, სავარაუდოდ, მეტეორიტი დაეცა
ჰიუსტონში ერთ-ერთ სახლს, სავარაუდოდ, მეტეორიტი დაეცა
გადახედვა
მეცნიერება
გადაშენებიდან 40 წლის შემდეგ — კონსერვაციონისტებმა უგანდაში მარტორქა დააბრუნეს
გადაშენებიდან 40 წლის შემდეგ — კონსერვაციონისტებმა უგანდაში მარტორქა დააბრუნეს
