Гарно підколов, гарно
Мабуть, небагато у світі людей, які б у ті роки пройшли цю місію чисто і без проблем з першого разу
Новини
Останні статті і огляди
GPT‑6 Astra під час експерименту пройшов гру Portal
-
Georgin
Member
- Звідки: Запоріжжя
Sanьka
Гарно підколов, гарно
Мабуть, небагато у світі людей, які б у ті роки пройшли цю місію чисто і без проблем з першого разу
Гарно підколов, гарно
Мабуть, небагато у світі людей, які б у ті роки пройшли цю місію чисто і без проблем з першого разу
-
Sanьka
Member
Та самі розраби не завжди могли пройти цю місіюGeorgin: ↑ 07.09.2026 12:52Мабуть, небагато у світі людей, які б у ті роки пройшли цю місію чисто і без проблем з першого разу
Щоб зручно було її проходити, рука повинна бути приблизно такою
- спойлер
-
MqM
Member
- Звідки: Україна
Так наче є вже давно проги, які відкривають ті ачівки в СтіміGeorgin: ↑ 07.09.2026 09:50 Пропоную обговорити GPT‑6 Astra під час експерименту пройшов гру Portal
О, вже відчуваю непотрібність і беззмістовність ігрових ачівок - тепер з'являться сервіси які не просто "прокачуватимуть" Вам онлайн-чара але і пропонуватимуть зробити всі ачівки в офлайн-іграх
Буде як на ресурсах для тренування у програмуванні (типу codewars), коли з розвитком ШІ там різко рванули вгору ранги учасників.
правда гру не проходять, а через лазівки-
Georgin
Member
- Звідки: Запоріжжя
MqM
Про таке я не знав, це зовсім далека від мене тема. Дякую, що просвітили
Але там треба подивитись на механізм дії. Скоріше за все, викриття втручання таких програм у функціонування STEAM це стовідсотковий
З AI інша справа - він просто контролює управління умовним персонажем у грі на твоєму ПК і ачівки у STEAM формально буде активовано повністю легально.
Про таке я не знав, це зовсім далека від мене тема. Дякую, що просвітили
Але там треба подивитись на механізм дії. Скоріше за все, викриття втручання таких програм у функціонування STEAM це стовідсотковий
З AI інша справа - він просто контролює управління умовним персонажем у грі на твоєму ПК і ачівки у STEAM формально буде активовано повністю легально.
-
yariksom
Member
Молодець, що пройшов, тепер нехай "супер маріо" проходить на найтмеар.
Взагалі, чи зможе суперШІнтелект створити гру яку не зможе пройти суперШІнтелект?
Взагалі, чи зможе суперШІнтелект створити гру яку не зможе пройти суперШІнтелект?
-
Kullerok
Member
- Звідки: Київ
Ну на самом деле не такая и сложная миссия. Просто тогда это было для многих новым опытом в играх. Это чета на уровне миссии с гонками в 1 мафии где было до ужаса
управление.-
Vladimir
Junior
- Звідки: UA-USA
До речі, Navier Stokes equation https://www.claymath.org/millennium/nav ... s-equation is solved. I think its a big deal.
https://openai.com/index/navier-stokes-solution
https://openai.com/index/navier-stokes-solution
-
vmsolver
Member
Вряд ли это все мощности их аи-датацентров, но задействованы до 10к агентов, потратили 300 млрд токенов Астры и новой внутренней модели.
"У вівторок, 1 вересня, ми почули чутки про те, що дві задачі зі списку «Задач тисячоліття» були розв’язані. Натхненні цими чутками та стрибкоподібним зростанням продуктивності нашої внутрішньої моделі, ми розпочали оцінку її можливостей на всіх відкритих задачах із цього списку та ще кількох задачах високої значущості.
Ми використовували систему координованих агентів, що працювали на базі нашої внутрішньої моделі. Агенти мали доступ до інструментів, зокрема читання з кешованої версії інтернету та виконання коду. Агенти були поділені на групи з можливістю спілкування всередині групи; розміри груп варіювалися, і в групі, яка отримала розв’язок задачі Нав’є–Стокса, брало участь близько 10 000 паралельних агентів. На всіх етапах ми дотримувалися тих самих суворих заходів безпеки, які застосовуємо до всіх оцінок наших передових моделей, включаючи моніторинг та ізоляцію.
Для кожної задачі ми надавали різним групам агентів різні формулювання умови, охоплюючи всі варіанти задачі. У випадку задачі Нав’є–Стокса ми пропонували окремим групам версії «A» і «B» (конкретні форми задачі Нав’є–Стокса, що призводять до доведення) та версії «C» і «D» (що призводять до спростування).
Додаткові «простіші» задачі
Окрім повних задач зі списку «Задач тисячоліття», ми доручили нашій багатоагентній системі спробувати набір «простіших» задач. Одна з них — аналогічне питання про «вибух» розв’язку для граничного випадку задачі Нав’є–Стокса без в’язкісного члена, відоме як задача про регулярність рівнянь Ейлера; наші агенти несподівано розв’язали саме її. Конкретний варіант, який вони розв’язали, — це версія без зовнішньої сили (unforced), коли на рідину не діє зовнішня сила. Близько 100 агентів працювали спільно приблизно 50 годин, щоб отримати спростування регулярності для рівнянь Ейлера.
Переключення ресурсів на Нав’є–Стокс
Побачивши розв’язок для Ейлера, ми вважали задачу Нав’є–Стокса найбільш перспективною для подальшої роботи та вирішили спрямувати на неї основні ресурси. Для цього ми перерозподілили агентів з інших задач «тисячоліття» та доповнили їхні промпти розв’язком по Эйлеру. Коли в ході роботи стала доступна додатково навчена версія нашої внутрішньої моделі, ми оновили агентів до цієї моделі.
Ми заохочували різні групи агентів досліджувати різноманітні підходи. Через деякий час ми «схрестили» групи агентів, використовуючи Codex для консолідації найбільш корисних інсайтів із кожної групи; наступні промпти спиралися на проміжні результати самих агентів. Група, яка знайшла розв’язок задачі Нав’є–Стокса, була спрямована саме таким чином.
Строки та масштаби обчислень
Агенти прийшли до розв’язку в суботу, 5 вересня, приблизно через 88 годин після запуску перших агентів. Формалізація та верифікація в Lean зайняли ще 17 годин за допомогою GPT‑6 Astra.
За всіма спробами розв’язання задач агенти надіслали 4,9 млн повідомлень і використали близько 300 млрд вихідних токенів. У процесі розв’язання задачі Нав’є–Стокса агенти надіслали 2,7 млн повідомлень і використали приблизно 130 млрд вихідних токенів.
Паралельна робота та пріоритет
Наша робота розпочалася 1 вересня після чутки, яка, як ми згодом зрозуміли, була пов’язана з Левентом Альпеґе (співробітник Anthropic) і Тристаном Бакмастером (професор математики в NYU). Після завершення нашого повного проекту та верифікації в Lean (6 вересня), вважаючи з чутки, що у них також є розв’язок Нав’є–Стокса, ми зв’язалися з ними, щоб запропонувати одночасну публікацію нашого результату та визнати їхній пріоритет у спільному анонсі. Тоді ми дізналися, що у них був розв’язок задачі про регулярність рівнянь Ейлера із зовнішньою силою (forced Euler). У цих обговореннях ми запропонували їм доступ до всіх використаних нами промптів, а згодом — до доведення. Ми визнаємо пріоритет їхньої роботи з forced Euler і вітаємо їх із видатним математичним досягненням."
"У вівторок, 1 вересня, ми почули чутки про те, що дві задачі зі списку «Задач тисячоліття» були розв’язані. Натхненні цими чутками та стрибкоподібним зростанням продуктивності нашої внутрішньої моделі, ми розпочали оцінку її можливостей на всіх відкритих задачах із цього списку та ще кількох задачах високої значущості.
Ми використовували систему координованих агентів, що працювали на базі нашої внутрішньої моделі. Агенти мали доступ до інструментів, зокрема читання з кешованої версії інтернету та виконання коду. Агенти були поділені на групи з можливістю спілкування всередині групи; розміри груп варіювалися, і в групі, яка отримала розв’язок задачі Нав’є–Стокса, брало участь близько 10 000 паралельних агентів. На всіх етапах ми дотримувалися тих самих суворих заходів безпеки, які застосовуємо до всіх оцінок наших передових моделей, включаючи моніторинг та ізоляцію.
Для кожної задачі ми надавали різним групам агентів різні формулювання умови, охоплюючи всі варіанти задачі. У випадку задачі Нав’є–Стокса ми пропонували окремим групам версії «A» і «B» (конкретні форми задачі Нав’є–Стокса, що призводять до доведення) та версії «C» і «D» (що призводять до спростування).
Додаткові «простіші» задачі
Окрім повних задач зі списку «Задач тисячоліття», ми доручили нашій багатоагентній системі спробувати набір «простіших» задач. Одна з них — аналогічне питання про «вибух» розв’язку для граничного випадку задачі Нав’є–Стокса без в’язкісного члена, відоме як задача про регулярність рівнянь Ейлера; наші агенти несподівано розв’язали саме її. Конкретний варіант, який вони розв’язали, — це версія без зовнішньої сили (unforced), коли на рідину не діє зовнішня сила. Близько 100 агентів працювали спільно приблизно 50 годин, щоб отримати спростування регулярності для рівнянь Ейлера.
Переключення ресурсів на Нав’є–Стокс
Побачивши розв’язок для Ейлера, ми вважали задачу Нав’є–Стокса найбільш перспективною для подальшої роботи та вирішили спрямувати на неї основні ресурси. Для цього ми перерозподілили агентів з інших задач «тисячоліття» та доповнили їхні промпти розв’язком по Эйлеру. Коли в ході роботи стала доступна додатково навчена версія нашої внутрішньої моделі, ми оновили агентів до цієї моделі.
Ми заохочували різні групи агентів досліджувати різноманітні підходи. Через деякий час ми «схрестили» групи агентів, використовуючи Codex для консолідації найбільш корисних інсайтів із кожної групи; наступні промпти спиралися на проміжні результати самих агентів. Група, яка знайшла розв’язок задачі Нав’є–Стокса, була спрямована саме таким чином.
Строки та масштаби обчислень
Агенти прийшли до розв’язку в суботу, 5 вересня, приблизно через 88 годин після запуску перших агентів. Формалізація та верифікація в Lean зайняли ще 17 годин за допомогою GPT‑6 Astra.
За всіма спробами розв’язання задач агенти надіслали 4,9 млн повідомлень і використали близько 300 млрд вихідних токенів. У процесі розв’язання задачі Нав’є–Стокса агенти надіслали 2,7 млн повідомлень і використали приблизно 130 млрд вихідних токенів.
Паралельна робота та пріоритет
Наша робота розпочалася 1 вересня після чутки, яка, як ми згодом зрозуміли, була пов’язана з Левентом Альпеґе (співробітник Anthropic) і Тристаном Бакмастером (професор математики в NYU). Після завершення нашого повного проекту та верифікації в Lean (6 вересня), вважаючи з чутки, що у них також є розв’язок Нав’є–Стокса, ми зв’язалися з ними, щоб запропонувати одночасну публікацію нашого результату та визнати їхній пріоритет у спільному анонсі. Тоді ми дізналися, що у них був розв’язок задачі про регулярність рівнянь Ейлера із зовнішньою силою (forced Euler). У цих обговореннях ми запропонували їм доступ до всіх використаних нами промптів, а згодом — до доведення. Ми визнаємо пріоритет їхньої роботи з forced Euler і вітаємо їх із видатним математичним досягненням."
-
oversteve
Member
- Звідки: Ukraine
MqM
тільки хардкор, тільки соня з трофеями
Відправлено через 2 хвилини 23 секунди:
тільки хардкор, тільки соня з трофеями
Відправлено через 2 хвилини 23 секунди:
на фоні дмк на хелл ор хелл або вольфенштейн2 на харді без смертей за 1 заход це фігняSanьka: ↑ 07.09.2026 13:09Та самі розраби не завжди могли пройти цю місіюGeorgin: ↑ 07.09.2026 12:52Мабуть, небагато у світі людей, які б у ті роки пройшли цю місію чисто і без проблем з першого разу
Щоб зручно було її проходити, рука повинна бути приблизно такою
- спойлер