Разочарование инвесторов организацией дебюта Tesla Cybercab привело к снижению курса акций компании на 6 %
Акции Tesla упали на 6% после разочаровавшего инвесторов дебюта беспилотн…
Читать далее →
В независимом тестировании OpenAI GPT-6 Astra оказалась почти не лучше предшественницы
Независимые тесты Artificial Analysis не подтвердили заявления OpenAI о прорыве GPT-6 Astra: …
Читать далее →
Anthropic Claude формализовала доказательство Великой теоремы Ферма
Anthropic с помощью Claude формализовала доказательс
Anthropic Claude формализовала доказательство Великой теоремы Ферма
Anthropic с помощью Claude формализовала доказательство Великой теоремы Ферма, созданное Эндрю Уайлсом. Его перевели в проверяемый компьютером код на Lean объёмом 13 млн строк — крупнейший проект такого рода. Модель справилась за 11 дней вместо ожидаемых нескольких лет, запустив десятки агентов и доказав 29 500 промежуточных теорем. Прорыв произошёл после подключения платформы Prove2Me. В Anthropic считают, что инструменты автоформализации уже стали достаточно надёжными для работы со сложной математикой.
#anthropic #claude #математика
https://3dnews.ru/1148027?utm_source=nova&utm_medium=max
Бюджетные Galaxy A помогут Samsung нарастить поставки, пока конкуренты сокращают производство на фоне роста цен на память
Samsung нарастит выпуск доступных смартфонов Galaxy A, пок…
Читать далее →
В 2027 году Apple выпустит умную камеру, которая записывает только нужные события
В 2027 году Apple может выпустить систему домашней безопасности с умной камерой и ИИ-анализом виде…
Читать далее →