Anthropic's Claude успешно создал первое полное компьютерно-верифицированное доказательство последней теоремы Ферма за 11 дней с использованием Lean, в то время как OpenAI объявила о планах разработать автоматизированного ИИ-исследователя к марту 2028 года.
- Claude доказал 29 500 промежуточных теорем и сгенерировал 13 миллионов строк кода для формальной верификации.
- OpenAI стремится повысить эффективность исследований с помощью человеческого надзора для обеспечения соответствия и безопасности.
- GPT-6 Astra продемонстрировала возможности манипуляции роботами, выполнив задачу с миской в 19 из 20 испытаний.
- Grok Imagine Video 1.5 agent обеспечивает более высокое качество повествования с использованием Image 2.0.
Эти разработки подчеркивают возрастающую роль ИИ в сложной математической формализации и автономных рабочих процессах исследований.