Wizard AK-79One ecosystem. Every result links to its proof.Одна экосистема. Каждый результат ведёт к доказательству.Одна екосистема. Кожен результат веде до доказу.
A.K/79 research, Lean-checked proofs, published DOIs and the open monograph — connected in one place.Труды A.K/79, доказательства в Lean, опубликованные DOI и открытая монография — в одном месте.Праці A.K/79, докази в Lean, опубліковані DOI та відкрита монографія — в одному місці.
Explore researchСмотреть трудыДивитися праціFor investorsИнвесторамІнвесторам
Our goal is an architecture where strong, human-governed AI lives on a user’s own laptop — no clusters, data centres or hundreds of thousands of GPUs. Intelligence is not capped, but authority always stays with the human. This is a direction we are working toward, not a proven result.Наша цель — архитектура, в которой сильный ИИ под управлением человека живёт на личном ноутбуке пользователя: без кластеров, дата-центров и сотен тысяч GPU. Интеллект не ограничивается, а власть остаётся у человека. Это направление работы, а не доказанный факт.Наша мета — архітектура, в якій сильний ШІ під керуванням людини живе на власному ноутбуці користувача: без кластерів, дата-центрів і сотень тисяч GPU. Інтелект не обмежується, а влада залишається за людиною. Це напрям роботи, а не доведений факт.
ResearchТрудыПраці
Papers, DOIs, Lean proofs, literature.Работы, DOI, доказательства Lean, литература.Роботи, DOI, докази Lean, література.
MonographМонографияМонографія
In progress: theorems linked to Lean, commits, DOI.В работе: теоремы со ссылками на Lean, коммиты, DOI.У роботі: теореми з посиланнями на Lean, коміти, DOI.
InvestorsИнвесторамІнвесторам
What exists, what is verified, how to reach us.Что есть, что проверено, как связаться.Що є, що перевірено, як зв’язатися.
Ecosystem mapКарта экосистемыКарта екосистеми
How the parts connect.Как части связаны между собой.Як частини пов’язані між собою.
Latest published resultsПоследние опубликованные результатыОстанні опубліковані результати
We build on open methods (Lean blueprints, Quarto, Zenodo) and add our own: receipts for every claim, honest “not verified” status, and a human-final-authority gate. The core, canon and prompts are not disclosed.Мы опираемся на открытые методы (Lean blueprint, Quarto, Zenodo) и добавляем своё: квитанции на каждое утверждение, честный статус «не проверено» и ворота с последним словом за человеком. Ядро, канон и промпты не раскрываются.Ми спираємося на відкриті методи (Lean blueprint, Quarto, Zenodo) і додаємо своє: квитанції на кожне твердження, чесний статус «не перевірено» та ворота з останнім словом за людиною. Ядро, канон і промпти не розкриваються.