Технології
ШІ Astra розв'язав задачі, над якими математики билися десятиліттями
Компанія OpenAI представила результати роботи моделі Astra, яка розв'язала десять відкритих математичних задач, що залишалися нерозв'язаними десятиліттями. Усі доведення пройшли машинну пере