Доброго ранку! Сьогоднішні LLM розроблені для впевненості. Вони генерують повні абзаци відшліфованих відповідей без жодного вбудованого способу перевірки кожної частини.
Це як довіряти дуже переконливому хлопцеві, який ніколи не показує чеки.
Замість того щоб намагатися налаштувати ідеальну модель, вони припускають, що кожна модель іноді буде неправильною. Тому вони роблять її перевіряємою за замовчуванням.
По-перше, вони розбивають виходи на атомарні вимоги.
Скажіть, якщо #AI дає вам таку заяву: “Bitcoin є найпоширенішою криптовалютою, створеною Сатоші Накамото в 2008 році.”
Міра не сприймає це як одне твердження. Вона розбиває його на окремі, перевірні твердження:
→ "Біткоїн є найпоширенішою криптовалютою"
→ “Біткоїн був створений Сатоші Накамото”
→ “Біткойн був створений у 2008 році”
Кожен з цих пунктів може бути перевірений незалежно мережею. Один може бути суб'єктивним, наприклад, як ви визначаєте найпоширеніший, інший є фактичним, як хто його створив, а ще один стосується часу, наприклад, коли його було створено.
Це сила бінаризації, яка перетворює розмиті виходи ШІ на чіткі, верифіковані твердження, які не залежать від настроїв моделі.
Тоді вони надсилають ці вимоги через децентралізовану мережу валідаторів, але жоден вузол не бачить повний вхід. Це розподілене підтвердження. Кожен вузол перевіряє фрагмент, зберігаючи конфіденційність і забезпечуючи, щоб довіра не була вузьким місцем.
Тепер, як ви можете змусити цих валідаторів бути чесними? → Нехай вони ставлять.
Кожен вузол має свою частку в грі. Якщо він підтверджує ілюзію, його штрафують. Це доказ верифікації, перетворення висновків у реальну економічну роботу, а не просто спекуляцію.
І, нарешті, приходить фактичний консенсус: кожна модель повинна майже повністю погоджуватися. Не 51%.
Mira вимагає майже одностайної згоди серед незалежно навчених моделей.
Тож замість того, щоб покладатися на одну геніальну модель з усіма відповідями, Міра побудувала протокол, де кілька недосконалих агентів проводять економічні та математичні перевірки один одного, поки не залишиться лише істина.
Це консенсусна машина для реальності, щоб масштабувати довіру.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Доброго ранку! Сьогоднішні LLM розроблені для впевненості. Вони генерують повні абзаци відшліфованих відповідей без жодного вбудованого способу перевірки кожної частини.
Це як довіряти дуже переконливому хлопцеві, який ніколи не показує чеки.
Замість того щоб намагатися налаштувати ідеальну модель, вони припускають, що кожна модель іноді буде неправильною. Тому вони роблять її перевіряємою за замовчуванням.
По-перше, вони розбивають виходи на атомарні вимоги.
Скажіть, якщо #AI дає вам таку заяву: “Bitcoin є найпоширенішою криптовалютою, створеною Сатоші Накамото в 2008 році.”
Міра не сприймає це як одне твердження. Вона розбиває його на окремі, перевірні твердження:
→ "Біткоїн є найпоширенішою криптовалютою"
→ “Біткоїн був створений Сатоші Накамото”
→ “Біткойн був створений у 2008 році”
Кожен з цих пунктів може бути перевірений незалежно мережею. Один може бути суб'єктивним, наприклад, як ви визначаєте найпоширеніший, інший є фактичним, як хто його створив, а ще один стосується часу, наприклад, коли його було створено.
Це сила бінаризації, яка перетворює розмиті виходи ШІ на чіткі, верифіковані твердження, які не залежать від настроїв моделі.
Тоді вони надсилають ці вимоги через децентралізовану мережу валідаторів, але жоден вузол не бачить повний вхід.
Це розподілене підтвердження. Кожен вузол перевіряє фрагмент, зберігаючи конфіденційність і забезпечуючи, щоб довіра не була вузьким місцем.
Тепер, як ви можете змусити цих валідаторів бути чесними? → Нехай вони ставлять.
Кожен вузол має свою частку в грі. Якщо він підтверджує ілюзію, його штрафують. Це доказ верифікації, перетворення висновків у реальну економічну роботу, а не просто спекуляцію.
І, нарешті, приходить фактичний консенсус: кожна модель повинна майже повністю погоджуватися. Не 51%.
Mira вимагає майже одностайної згоди серед незалежно навчених моделей.
Тож замість того, щоб покладатися на одну геніальну модель з усіма відповідями, Міра побудувала протокол, де кілька недосконалих агентів проводять економічні та математичні перевірки один одного, поки не залишиться лише істина.
Це консенсусна машина для реальності, щоб масштабувати довіру.