TechMap Live › За країнами › Сполучені Штати

Штучний інтелектзначущість: критична

Claude від Anthropic формалізує останню теорему Ферма

· San Francisco, Сполучені Штати · Америка · уже поза активним вікном

Claude від Anthropic створив формальний доказ останньої теореми Ферма за 11 днів, генеруючи 13 мільйонів рядків коду Lean.

Цей опис перекладено автоматично. Оригінал англійською мовою має переважну силу. Відкрити оригінал англійською.

Тема
Штучний інтелект
Місце
San Francisco, Сполучені Штати (37.775°, -122.419°)
Регіон
Америка
Значущість
критична
Джерело повідомлення
TechRadar
Показати цю подію на карті → Усі події: Сполучені Штати →

Цю сторінку створено автоматично сервісом TechMap Live за відкритим новинним повідомленням видання TechRadar. Координати й оцінка значущості приблизні — подію зазвичай позначено у штаб-квартирі компанії чи на стартовому майданчику. Це агрегатор новин, а не власна журналістика: перш ніж на щось спиратися, прочитайте першоджерело.

Технологічні події: Сполучені Штати

Останні події