OpenAI опублікувала 722 ШІ-генеровані математичні рукописи, а Mistral представила 1T-параметрну модель Le Chonk

OpenAI опублікувала 722 ШІ-генеровані математичні рукописи

OpenAI опублікувала широкий спектр нових математичних результатів, створених внутрішньою передовою моделлю. Випуск включає 722 рукописи, згруповані в 372 сім’ї, які охоплюють 377 математичних задач. Компанія заявляє, що модель повністю вирішила 90 відкритих задач із математичного топ-500, а також частково просунулась у кількох задачах тисячолітньої премії, зокрема щодо гіпотези Римана, гіпотези Ходжа та гіпотези Бірча — Свиннертона-Дайєра.

Серед видатних результатів — гіпотеза квазі-Римана, яка показує, що дзета-функція не має нулів із дійсною частиною більше 7/8. Модель також визначила показник матричного множення не більше 2,25, що покращує попередній рекорд приблизно 2,37. Серед інших доведень — розв’язання гіпотези Какеї в R^3 і прогрес у проблемі Гадвігера — Нельсона, де нижня межа сягнула 6 або 7. OpenAI заявила, що майже всі результати отримано з одного промпта, який передано одному ШІ-агенту, а внутрішня модель Pro в середньому витрачала на кожну задачу близько трьох годин.

Компанія консультувалась із групою незалежних математиків і радників зі штучного інтелекту, яка діє в Institute for Advanced Study. У соціальних мережах кілька математиків виразили здивування щодо результатів, хоча жоден із них ще не підтверджений зовнішніми дослідниками.

Mistral представила попередню версію 1T-параметрної моделі Le Chonk

Mistral випустила в публічному попередньому перегляді Mistral Large 4, прізвисько Le Chonk, — модель із одним трильйоном параметрів, яка має 49 мільярдів активних параметрів. Компанія заявляє, що на агрегованих бенчмарках це найкраща модель із відкритими вагами з США чи Європи, з найсучасною продуктивністю в робочих навантаженнях кібербезпеки, виробництва та фінансів.

За словами Mistral, модель була навчена з нуля на 3 800 NVIDIA Grace Blackwell GPU у своїх європейських дата-центрах, зокрема в кластері Bruyères-le-Châtel. Значна частина навчальних даних була багатомовною. У тесті, де моделям пропонувалося відтворити реальну вразливість у програмному забезпеченні з відкритим кодом, а потім виправити її, ML4 зафіксував 82%, що, за словами компанії, було найвищим серед усіх моделей. Модель отримала 62% на DeepSWE v1.1.

Випуск із відкритими вагами запланований на 27 жовтня. Генеральний директор Mistral Артур Менш сказав, що модель була навчена на власних обчислювальних потужностях компанії та обслуговується там же, а ознак домінування навчання зі зміцненням немає.

Джерела: Techmeme