OpenAI выкатила на GitHub 722 математические статьи — и написали их всё те же модели, только ещё не выпущенные

Это не блогпостики «я тут подумал», а работы по реальным открытым задачам: комбинаторика, алгебраическая геометрия, теория чисел и прочая математическая жесть. Причём 90 из них замахиваются на полное решение задач из списка 500 главных открытых проблем математики.

А теперь самое неприятное. Средний успешный результат — это примерно три часа работы ChatGPT Pro. Три часа. Пока ты кофе варил и трижды перечитывал свой pull request, оно доказало теорему. Многие доказательства уже формализованы в Lean — то есть проверяются компьютером, а не «поверьте на слово».

Всё выложено на GitHub. Математика — всё

Статья OpenAI | GitHub

👉 Логово Верстальщика