OpenAI და Anthropic-ი აცხადებენ, რომ მათმა მოდელებმა კომპიუტერული მეცნიერების 27-წლიანი ETH ჰიპოთეზა უარყვეს
ორივე შედეგი Lean-ის პროგრამამ გადაამოწმა, თუმცა მათემატიკოსებს ისინი ბოლომდე ჯერ არ შეუსწავლიათ. OpenAI და Anthropic-ი აცხადებენ, რომ მათმა…

