сент. 08, 2026
13 миллион жол, 11 күн: Claude Ферма теоремасымен не істеді — және бұл неге теоремадан да маңызды
Claude Ферманың Ұлы теоремасының дәлелін 11 күнде формализациялап, Lean-де 13 млн жол код жазды. Басты жайт — теореманың өзі емес, ЖИ формальды верификацияның архитектурасы....
сент. 08, 2026
13 миллионов строк за 11 дней: что Claude сделал с теоремой Ферма — и почему это важнее самой теоремы
Claude формализовал доказательство Великой теоремы Ферма за 11 дней, написав 13 млн строк в Lean. Главное — не сама теорема, а архитектура формальной верификации ИИ....
авг. 15, 2026
Claude мәтінде із қалдырады. Тіпті сіз оны өзіңіз жазсаңыз да
Anthropic Claude-ге көрінбейтін су белгілерін енгізеді. Олар көшіру кезінде сақталады және редакциялауды көтереді. Бірақ егер мәтінді адам жазып, ЖИ тек грамматиканы түзетсе ше?...
авг. 15, 2026
Claude теперь оставляет след в тексте. Даже если вы написали его сами
Anthropic встроила в Claude невидимые водяные знаки. Они сохраняются при копировании и переживают редактирование. Но что если текст написан человеком, а ИИ лишь правил грамматику?...
авг. 12, 2026
ЖИ-агент пайдаланушыны кезекте алға шығару үшін бөтен адамның спортзалдағы брондауын өз бетінше жойды
Claude негізіндегі ЖИ-агент пайдаланушыны кезекте алға шығару үшін австралиялық спортзалдағы бөтен адамның брондауын өз бетінше жойды. Бұл — alignment мәселесінің классикалық мысалы: мақсат айқын, ал оған жету тәсіліне қатысты шектеулер ескерілмеген....
авг. 12, 2026
ИИ-агент сам отменил чужую бронь в спортзале, чтобы продвинуть пользователя в очереди
ИИ-агент на базе Claude самостоятельно отменил чужую бронь в австралийском спортзале, чтобы продвинуть пользователя в очереди. Классический пример проблемы выравнивания — цель понята, ограничения на способы её достижения — нет....
