OpenAI выложила математику от внутренней модели: Lean и GitHub
OpenAI выложила математику от внутренней модели: Lean и GitHub Теорема от передовой модели обычно живёт в заголовке, а не в git. OpenAI выложила на GitHub пачку результатов внутренней модели: как пересматривают статьи, как цитировать, плюс формализации в Lean — там проверку делает компилятор, не рецензент. В комплекте десять сводок рассуждений модели и смета в пересчёте на ChatGPT Pro. На типичный результат уходит эквивалент примерно трёх часов думающего режима. Если хотите понять, как оформляют «покажи, а не расскажи» без слайд-дека — сравните Lean-файлы с текстовыми сводками в том же репо. Для разработчика это ближе к code review, чем к анонсу конференции.
6 просмотров