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