Революция в математике за 2000$
OpenAI научила нейросеть решать задачи, над которыми математики бились годами — новая модель Astra нашла решения сразу для 10 нерешённых математических проблем. Все доказательства потом проверили через Lean 4
На поиск решений потратили около $2 000 по тарифам API
лучшие математики мира — десятилетия не могли решить эту проблему, Astra — $2к
OpenAI научила нейросеть решать задачи, над которыми математики бились годами — новая модель Astra нашла решения сразу для 10 нерешённых математических проблем. Все доказательства потом проверили через Lean 4
На поиск решений потратили около $2 000 по тарифам API
лучшие математики мира — десятилетия не могли решить эту проблему, Astra — $2к