TechMap Live › За країнами › Сполучені Штати
Штучний інтелектзначущість: середняAnthropic використовує Claude для формалізації Великої теореми Ферма
· San Francisco, Сполучені Штати · Америка · уже поза активним вікном
Anthropic PBC використала свою модель Claude для створення верифікованого комп'ютером доведення Великої теореми Ферма.
Цей опис перекладено автоматично. Оригінал англійською мовою має переважну силу. Відкрити оригінал англійською.
- Тема
- Штучний інтелект
- Місце
- San Francisco, Сполучені Штати (37.775°, -122.419°)
- Регіон
- Америка
- Значущість
- середня
- Джерело повідомлення
- SiliconANGLE
Цю сторінку створено автоматично сервісом TechMap Live за відкритим новинним повідомленням видання SiliconANGLE. Координати й оцінка значущості приблизні — подію зазвичай позначено у штаб-квартирі компанії чи на стартовому майданчику. Це агрегатор новин, а не власна журналістика: перш ніж на щось спиратися, прочитайте першоджерело.
Технологічні події: Сполучені Штати
- OpenAI запускає модель GPT-6 Astra
- xAI програє судовий позов щодо заблокування заборони на AI-роздягання в Міннесота
- Офіційний дебют Tesla Cybercab відбувся в Пало-Альто
- MapQuest додає підтримку Android Auto
- XDOF у переговорах щодо оцінки Series B на $1,2 млрд
- Gimlet Labs збирає $300 млн серії B для платформи інференсу
Останні події
- TENCORE creates evacuation module for ground robot TerMIT
- iPhone 18 Pro Max battery workaround for shipping limits
- Apple VP criticizes iPhone screen protectors
- China crafts working 3nm gate-all-around transistors without EUV
- Oura announces $2.2 billion IPO on NYSE
- Clicks Technology upgrades smartphone with physical keyboard
- Dongfeng to deploy humanoid robots to factories in October
- Pharmacy chain 36.6 enhances AI pharmacist