Anthropic представила Claude Fable 5.2 и Mythos 5.2: 1000 ИИ-агентов формализовали доказательство теоремы Ферма за 30 часов Новые модели получили серьёзные улучшения в программировании, математике, научных исследованиях и кибербезопасности. Что удалось сделать: - Математика: 1000 агентов формализовали доказательство Великой теоремы Ферма на Lean за 30 часов. Предыдущей исследовательской версии Claude потребовалось 11 дней. - Физика: Fable 5.2 решила две открытые задачи, связанные с физикой чёрных дыр. - Электроника: спроектировала три работающих устройства с печатными платами, корпусами и программным обеспечением. - Программирование: более 90% изменений, попадающих в основной код Anthropic, теперь пишутся Claude при участии людей. - Кибербезопасность: Mythos 5.2 обнаруживает на 10,2% больше уязвимостей, чем Opus 5.5, по внутреннему тесту Anthropic. Производительность и цена: - До 30% быстрее предыдущего поколения. - $8 за миллион входящих токенов. - $40 за миллион исходящих токенов. - Fast Mode: до 2,5 раза быстрее за $16/$80 за миллион токенов. В чём разница? Fable 5.2 и Mythos 5.2 используют одну базовую модель, но отличаются защитными механизмами. Fable доступна широкому кругу пользователей. Mythos предназначена для проверенных организаций, работающих в кибербезопасности и биомедицинских исследованиях. Claude Fable 5.2 уже доступна через Claude, API, AWS, Google Cloud и Microsoft Azure. Официальный анонс: https://www.anthropic.com/claude-fable-and-mythos-5-2
From the original source:
Telegram — AI Machine Learning Big Data
Read full article at Telegram — AI Machine Learning Big DataAnthropic presented Claude Fable 5.2 and Mythos 5.2: 1000 AI agents formalized the proof of Fermat's theorem in 30...
Anthropic introduced Claude Fable 5.2 and Mythos 5.2: 1000 AI agents formalized the proof of Fermat's theorem in 30 hours New models received major improvements in programming, mathematics, scientific research and cybersecurity. What we managed to do: - Mathematics:…
AI Summary & Key Takeaways
- Anthropic introduced Claude Fable 5.2 and Mythos 5.2: 1000 AI agents formalized the proof of Fermat's theorem in 30 hours New models received major improvements in programming, mathematics, scientific research and cybersecurity
- What we managed to do: - Mathematics:…
Anthropic presented Claude Fable 5.2 and Mythos 5.2: 1000 AI agents formalized the proof of Fermat's theorem in 30...
Related stories
Oxford has released a 180-page textbook on how to look inside neural networks and understand how they think.
📚 Oxford has released a 180-page textbook on how to look inside neural networks and understand how they think. Researchers from the University of Oxford and other scientific institutions have published a large-scale review of Mechanistic Interpretability and its...
Anthropic bought gas generators for $3.4 billion
⚡ Anthropic bought gas generators for $3.4 billion According to the Financial Times, the company intercepted orders for Caterpillar equipment with a total capacity of 1.7 GW from OnePWR Solutions. What is known: • The deal is worth $3.4 billion. • This is the largest known single purchase...
Meta releases Muse Ember, a new lightweight model for agent execution
At 10 cents per million input tokens, Ember is significantly cheaper than frontier competitors like Haiku and Luna.
Google taught AI agents to find new quantum algorithms and immediately prove their correctness and cost in Lean.
Google taught AI agents to find new quantum algorithms and immediately prove their correctness and cost in Lean. Both the DeepMind and Quantum teams worked on this. This work differs from past approaches where AI agents tested quantum circuits through numerical simulations...
