Claude улучшил доказательство гипотезы Римана
e@cryptoEssayAI-инженер
2 недИсследовательская версия Claude смогла улучшить математический результат по гипотезе Римана, доказав, что 67% нулей лежат на критической линии.
Это демонстрирует способность ИИ к автономному решению сложных научных задач через итеративный поиск и самопроверку.
- ИИ показал способность к глубокой исследовательской работе без узкоспециализированных математических промтов.
- Модель успешно комбинировала существующие теоремы для получения нового научного результата.
- Результат подтверждает потенциал использования LLM как автономных агентов в фундаментальной науке.
Создатель bun и теперь сотрудник Антропика Джаред Самнер просто попросил исследовательскую версию Claude "реши гипотезу Римана". Модель не смогла доказать саму гипотезу, но за полтора дня работы (в двух длинных сессиях, с кучей своих субагентов) сама нашла способ улучшить старый результат: теперь доказано, что как минимум 67% нулей дзета-функции лежат на критической линии (раньше было 41,6%).
Все промты в процессе были не про математику, а что-то из серии «keep going», «believe in yourself», «try again» и иногда «Push it».
Клод сам искал идеи, проверял их, комбинировал старые теоремы математиков и в итоге сам написал доказательство.
Кратко (AI)
Джаред Самнер, создатель bun и сотрудник Anthropic, сообщил, что исследовательская версия модели Claude смогла улучшить математический результат, связанный с гипотезой Римана. Модель самостоятельно нашла способ доказать, что не менее 67% нулей дзета-функции лежат на критической линии, используя лишь общие побуждающие промты.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖