OpenAI опублікував 722 математичні AI-роботи, Mistral представила Le Chonk, а Apple працює з LG над розумним домом

OpenAI випустив 722 математичні рукописи з неопублікованої моделі

OpenAI опублікував широкий спектр нових математичних результатів, створених внутрішньою передовою моделлю. Компанія опублікувала на GitHub 722 рукописи, згруповані в 372 сімейства. За її словами, робота виконувалася внутрішньою моделлю Pro AI, в середньому близько трьох годин на кожну задачу, майже всі результати були отримані одним запитом від одного AI-агента, хоча деякі вимагали кількох спроб.

У публікації є частковий прогрес щодо кількох відомих відкритих задач. Серед них: смуга, вільна від нулів дзета-функції Рімана, описана як наслідок квазігіпотези Рімана, підтвердження гіпотези Ходжа для CM-абелевих варіететів і робота щодо гіпотез Бірча та Свиннертона-Дайєра. Серед інших результатів — задача Какеї в 4-D, ймовірне підтвердження гіпотези Unique Games Conjecture і формалізація в Lean, а також показник множення матриць не більше 2,25 замість попереднього рекорду 2,37. Згідно з аналізом, наведеним у дискусіях, список показує, що 90 із топ-500 відкритих математичних задач повністю вирішено.

OpenAI повідомляє, що консультація проводилася з незалежною консультативною грубою з математики та штучного інтелекту Institute for Advanced Study. Результати ще не підтверджені зовнішніми математиками. Сем Альтман заявив: «Ми зараз вступаємо в нову епоху відкриттів». Математик Теренс Тао зазначив, що сфера переходить від «Math 1.0», де цінувалося перше вирішення задачі, до «Math 2.0», де прогрес оцінюють більш цілісно.

Mistral заздалегідь представила Le Chonk, 1T-параметрну модель

Mistral випустила попередню версію Mistral Large 4 під назвою «Le Chonk», модель із 1 трильйоном параметрів, яка, за словами компанії, перевершує будь-яку відкриту модель, створену в США або Європі. За даними VentureBeat, ваги моделі будуть опубліковані 27 жовтня.

Apple та LG разом працюють над пристроями розумного дому

Apple планує велике оновлення розумного дому в незвичайному партнерстві з LG Electronics. За повідомленням Марка Гурмана з Bloomberg, компанії разом створюють дверний дзвінок, накладний замок, термостат, внутрішню камеру, зовнішню камеру, проєкторну камеру та інші пристрої, щоб протистояти Amazon і Google. Продукти вийдуть під брендом LG, а виробництво та підтримку забезпечує LG.

Аксесуари слугують для оснащення нової екосистеми розумного дому Apple, центром якої стане хаб розумного дому, новий HomePod mini та оновлений Apple TV, усі з Siri AI. До продуктів залишилося всього кілька місяців, а анонс очікується приблизно 13 жовтня. LG понад 10 років не виробляє пристрої розумного дому, тому ця угода означає велике повернення компанії на ринок. Повідомляється, що орієнтована на конфіденційність Apple домашня камера та сенсор вийдуть наступного року, незалежно від камер, виготовлених LG.

Джерела: Techmeme