Математическое сообщество взялось переписывать «математику» от OpenAI
Oai-math-revised: a community hub for revising OpenAI's math write-ups
Гостевой пост на блоге Terence Tao от Abhinav Nellore, Johannes Schmitt, Soledad Villar и Rachel Ward: материалы OpenAI по математике на GitHub трудночитаемы и содержат неполные ссылки. Проект oai-math-revised приглашает студентов, постдоков, профессоров и энтузиастов вместе улучшать эти тексты; репозиторий можно просматривать онлайн, а желающих стать админами и рецензентами просят написать на почту.
Материалы OpenAI по математике на github.com/openai/math бывает трудно понять, и в них могут отсутствовать полные ссылки.
- sdenton4
Кажется, нам нужно новое состояние истинности для математики: «Проверено-но-не-доказано» для результатов, которые мы знаем как истинные благодаря формальной верификации, но без какого-либо связного доказательства.
Я в целом ожидал бы, что это состояние быстро разрешится в «Доказано и проверено» (исторически в математике тенденция была такова: сначала сложные первые доказательства результатов, а затем значительное снижение сложности доказательства по мере появления новых инструментов и определений), но оно всё же может быть полезным для того, чтобы по-настоящему воздать должное тому/тем, кто выдаёт разумное доказательство для результата, проверенного методом перебора.
- vishna
Это у OpenAI и прочих версия получения неоплачиваемых стажировок от аспирантов
- turzmo
Если математикам раньше не нравилось копать себе могилу формализацией, может быть, теперь им понравится копать себе безымянные братские могилы?