OpenAI выкатила на GitHub 722 математические статьи — и написали их всё те же модели, только ещё не выпущенные
Это не блогпостики «я тут подумал», а работы по реальным открытым задачам: комбинаторика, алгебраическая геометрия, теория чисел и прочая математическая жесть. Причём 90 из них замахиваются на полное решение задач из списка 500 главных открытых проблем математики.
А теперь самое неприятное. Средний успешный результат — это примерно три часа работы ChatGPT Pro. Три часа. Пока ты кофе варил и трижды перечитывал свой pull request, оно доказало теорему. Многие доказательства уже формализованы в Lean — то есть проверяются компьютером, а не «поверьте на слово».
Всё выложено на GitHub. Математика — всё
Статья OpenAI | GitHub
👉 Логово Верстальщика
Это не блогпостики «я тут подумал», а работы по реальным открытым задачам: комбинаторика, алгебраическая геометрия, теория чисел и прочая математическая жесть. Причём 90 из них замахиваются на полное решение задач из списка 500 главных открытых проблем математики.
А теперь самое неприятное. Средний успешный результат — это примерно три часа работы ChatGPT Pro. Три часа. Пока ты кофе варил и трижды перечитывал свой pull request, оно доказало теорему. Многие доказательства уже формализованы в Lean — то есть проверяются компьютером, а не «поверьте на слово».
Всё выложено на GitHub. Математика — всё
Статья OpenAI | GitHub
👉 Логово Верстальщика