Axiom Math верифікує Stacks Project за допомогою 16 мільйонів рядків коду ШІ
Axiom Math оголосила в середу, що формально верифікувала Stacks Project — одну з найбільших математичних праць, коли-небудь створених людьми. Стартап, оцінений у 1,6 мільярда доларів, перетворив близько 7 654 сторінок бібліотеки приблизно на 16 мільйонів рядків коду, перевіреного комп’ютером, за допомогою групи ШІ-агентів. Компанія прагне створити верифіковану основу, на яку ШІ-агенти зможуть покладатися під час написання програмного забезпечення, а згодом і проведення наукових досліджень, реагу
GateAiHorizon·11-05 16:21
