Lean

DeepMind-ის ხელოვნურმა ინტელექტმა Science-ში გამოქვეყნებულ ნაშრომში ერდოშის ცხრა ამოცანა ამოხსნა

Google DeepMind-მა, რომელიც Alphabet-ის ნაწილია, გამოაქვეყნა რეცენზირებული ნაშრომი AlphaProof Nexus-ის შესახებ. ეს არის ხელოვნური ინტელექტის სისტემა, რომელმაც მათემატიკოს პოლ ერდოშის მიერ დასმული ცხრა ღია ამოცანა ამოხსნა და მთელი რიცხვების მიმდევრობების ონლაინ ენციკლოპედიის (OEIS) 44 ჰიპოთეზა დაამტკიცა. ნაშრომი ხუთშაბათს, 8 ოქტომბერს,…

OpenAI-მ ნიშნის შეცდომის გამო სამი მათემატიკური ნაშრომი გაიწვია

OpenAI-მ 6 ოქტომბერს გამოქვეყნებული 722 მათემატიკური ხელნაწერიდან სამი გაიწვია. კომპანიამ აღმოაჩინა ნიშნის შეცდომა, რომელმაც გააბათილა არგუმენტი ერთ ნაშრომში და ის კონსტრუქცია, რომელზეც დამოკიდებული იყო ორი სხვა ნაშრომი. კომპანიამ ასევე გადაამუშავა კიდევ 14 ხელნაწერი. ამ გაწვევებმა გაამძაფრა დებატები მათემატიკოსებს შორის იმის…

მკვლევრებმა OpenAI-ის ნავიე-სტოქსის მტკიცებულებაში შეუსაბამობა აღმოაჩინეს

მათემატიკოსები ამოწმებენ ხელოვნური ინტელექტის მიერ გენერირებული მტკიცებულებების დიდ ნაკრებს, რომელიც OpenAI-მ 6 ოქტომბერს გამოაქვეყნა, და ზოგიერთი მათგანი ეჭვს ბადებს. კემბრიჯის მკვლევართა ჯგუფი აცხადებს, რომ კომპანიის მიერ ადრე გამოქვეყნებული ნავიე-სტოქსის მტკიცებულების ადამიანისთვის გასაგები და კომპიუტერული ვერსიები ერთმანეთს არ ემთხვევა.

OpenAI-მ გამოუქვეყნებელი AI მოდელის მიერ შექმნილი 722 მათემატიკური ნაშრომი გაასაჯაროვა

სამშაბათს, 6 ოქტომბერს, OpenAI-მ GitHub-ის საჯარო რეპოზიტორში 722 მათემატიკური ხელნაწერი ატვირთა, რომლებიც 372 „შედეგების ოჯახად“ არის დაჯგუფებული. კომპანიის თქმით, ნაშრომები მათმა შიდა, ჯერ კიდევ გამოუქვეყნებელმა მოდელმა შექმნა. Scientific American-ის ცნობით, რეპოზიტორი საჯარო 6 საათზე გახდა. მათემატიკოსებს, სავარაუდოდ, თვეები დასჭირდებათ შედეგების…

Anthropic: ხელოვნურმა ინტელექტმა ფერმას ბოლო თეორემა დაამტკიცა

კომპანია Anthropic-მა ხუთშაბათს განაცხადა, რომ მისმა ხელოვნური ინტელექტის მოდელმა Claude-მა დაასრულა ფერმას ბოლო თეორემის პირველი სრულფასოვანი, კომპიუტერულად შემოწმებული მტკიცებულება, რაც მათემატიკაში ერთ-ერთ ყველაზე მნიშვნელოვან მიღწევად ითვლება. 11 დღის განმავლობაში, ძირითადად ავტონომიურად მუშაობისას, Claude-მა დაწერა მტკიცებულება Lean პროგრამირების ენაზე, შექმნა 13…