OpenAI’s Astra только что решила 10 давних математических задач. Новая многопроцессорная модель решила комплекс сложных нерешённых математических задач, остававшихся без доказательства десятилетиями, а затем формализовала доказательства в Lean. Сэм Альтман представил Astra в Вашингтоне на этой неделе. Она станет первой моделью, которая пройдёт новый процесс государственного одобрения перед выпуском. Самый впечатляющий деталь: решение всех 10 задач потребовало менее $2000 токенов по ценам Sol. OpenAI также пробовала другие сложные задачи, некоторые из которых пока остаются нерешёнными — но потенциал масштабирования огромен. Может ли это ознаменовать новую эру математических открытий с помощью ИИ?
David ArnalПоделиться
Источник:Показать оригинал
Отказ от ответственности: Информация на этой странице может быть получена от третьих лиц и не обязательно отражает взгляды или мнения KuCoin. Данный контент предоставляется исключительно в общих информационных целях, без каких-либо заверений или гарантий, а также не может быть истолкован как финансовый или инвестиционный совет. KuCoin не несет ответственности за ошибки или упущения, а также за любые результаты, полученные в результате использования этой информации.
Инвестиции в цифровые активы могут быть рискованными. Пожалуйста, тщательно оценивайте риски, связанные с продуктом, и свою устойчивость к риску, исходя из собственных финансовых обстоятельств. Для получения более подробной информации, пожалуйста, ознакомьтесь с нашими Условиями использования и Уведомлением о риске.