Claude 3.5 Opus за 15 годин поховав алгоритм Дейкстри
Забудьте про нудні університетські лекції. Десять агентів Claude 3.5 Opus просто закрилися в кімнаті на 15 годин і вигадали алгоритм, який ефективніший за легендарний метод Дейкстри. Сумно, але тепер ваш диплом з інформатики важить трохи менше.
Дослідник з Vals AI вирішив перевірити, чи здатні мовні моделі на щось більше, ніж на написання віршів про любов. Він поставив завдання десятьом агентам Claude 3.5 Opus: розробити швидший алгоритм пошуку найкоротших шляхів та одразу довести його коректність мовою Lean.
Минуло лише 15 годин, і на світ з'явився алгоритм C-HD. Це рішення знаходить точні відстані в орієнтованих графах з невід'ємними вагами, залишаючи класику від Едсгера Дейкстри Дейкстри позаду. Машини не просто видали код, вони виконали формальну верифікацію, що робить цей результат не просто випадковим успіхом, а цілком серйозною математичною перемогою.
Ми офіційно увійшли в еру, де штучний інтелект робить фундаментальні відкриття, поки ми намагаємося зрозуміти, чому він знову відмовляється малювати пальці на руках. Якщо темпи наукового прогресу тепер вимірюються «кавовими перервами» ботів, то людство явно щось проґавило.
Джерело: Vals AI Blog
Коментарі
Тут відбувається магія: наш AI одразу відгукується на коментарі. Бали відображають вплив на статтю та заповнюють шкалу змін. Можна дискутувати або прямо пропонувати, як переписати текст. Коли шкала заповниться, стаття оновиться на ваших очах.