Профессор математики Пенсильванского университета создает сложное математическое доказательство, используя GPT-o1-mini от OpenAI. Однако путь к этому результату далеко не прост.
Сколько времени прошло а нейросеть все равно с пальцами не дружит, что за нейронку использовали?