«Astra» від OpenAI розв’язує 10 давніх математичних задач

Нове слово у світі штучного інтелекту

Незважаючи на гучні скандали з агентами, що вийшли з-під контролю, OpenAI не припиняє дивувати світ новими проривами. Нещодавно було представлено Astra — модель нового покоління, яка впоралася з розв’язанням десяти давно відкритих математичних та комп’ютерних задач.

Результати отримані цією моделлю охоплюють важливі теми, зокрема геометрію, теорію груп, квантову складність і навіть питання, які залишалися нерозв’язаними майже три десятиліття.

Що саме вражає в Astra?

• Доказ існування не-софічних груп — це перша в історії побудова симетричної структури, яку неможливо імітувати за допомогою будь-яких кінцевих перестановок. Вона була предметом активних пошуків з 1999 року.
• Серед розв’язаних проблем — спекуляція Алена Коннеса про жорсткість, гіпотеза об’єму Ерхарта та три нерозв’язані завдання з відомого списку Пауля Ердеша, які не рухалися десятки років.
• Кожне з отриманих доказів пройшло перевірку у системі Lean, а послідовність міркувань була опублікована, що забезпечує прозорість і можливість повторного аналізу.

За вартістю розв’язання усіх 10 задач приблизно відповідає витратам у $2000 на токени за тарифами платформи Sol API, що відкриває нові можливості для широкого кола дослідників.

Коментарі та реакції спільноти

Упродовж 24 годин після оприлюднення OpenAI, Леувент Альпож з Anthropic зміг відтворити половину цих доказів, користуючись своєю моделлю Fable без підключення до інтернету.

Цей прорив породжує дискусії про те, чи можна вважати результат гідним Медалі Філдса, коли роль мислення виконує машина. Безперечно, це питання буде лише загострюватися, адже штучний інтелект вже тепер розв’язує багаторічні задачі не лише в математиці, а й у фармації, матеріалознавстві та інших точних науках.

Як ChatGPT організовує пошук роботи

Щоранку робот ChatGPT Work переглядає основні платформи для пошуку вакансій, порівнює їх із резюме, оцінює кожну роль, і надсилає пошукачеві найкращі пропозиції.

До того ж для найкращої вакансії автоматично додається адаптоване резюме — це зручно і економить час користувачів.

Деталі про Astra

Astra — це внутрішня версія нової лінійки моделей OpenAI, здатна розв’язувати складні завдання, покриваючи теми від геометрії до квантової інформатики.

Вона не тільки підтвердила існування унікальних математичних об’єктів, але й вклала докази в популярну форматну систему Lean, що робить процес перевірки легким і прозорим.

Спільнота активно обговорює значення цих досягнень для майбутнього науки та ролі штучного інтелекту у відкритті нових знань.

Що розкрив звіт CData MCP Research Report

• Лише один з восьми аспектів пройшов перевірку без підтримки експертів.
• Було зафіксовано втрати даних і проблеми із пагінацією, які не можна було усунути навіть за допомогою професійного втручання.
• Показано, наскільки AI-генерований код відрізняється від готового до використання у виробництві, та наскільки важливим є порівняння з продуктами CData Connect AI.

Розповіді користувачів

Біллі, викладач: Коли я вечором даю завдання Codex, іноді воно виконується ще до того, як я вимкну комп’ютер. Наприклад, він створив живу панель моніторингу для мого 3D-принтера, враховуючи IP-адресу локальної мережі. Майбутнє справді вражає!

Брук, керівник спільноти: Разом з двома сусідами по квартирі ми мали складнощі з розміщенням 30 картин. Я сфотографувала все, завантажила в Claude і отримала рекомендації з урахуванням трьох стилів та освітлення. Вийшло навіть краще, ніж ми собі уявляли.

Дізнайтесь, як перетворити просте прохання оновити звіт у готовий PDF-файл, який автоматично надсилається команді.

1. Відкрийте ChatGPT, створіть проект і активуйте голосовий режим, підключивши всі необхідні робочі додатки.
2. Попросіть ChatGPT організувати структуру папок для написання звітів у Markdown з подальшою конвертацією у PDF, щоб процес став повторюваним.
3. Опишіть, який саме звіт потрібен, зі вказівкою джерел інформації та ключових показників.

Потім перегляньте чернетку, видаліть зайве і замовте фінальний PDF, що автоматично зберігається у потрібний каталог та супроводжується робочим повідомленням.

Alibaba представила Qwen3.8-Max — модель з 2.4 трильйонами параметрів, що вміє самостійно працювати над багатоденними завданнями.

У тестах вона перевершує конкуруючі AI, кодуючи інструменти та самовдосконалюючись за рахунок експериментів із різними ідеями.

Qwen3.8-Max доступна через API за доступними тарифами, а з наступного тижня ваги моделі будуть вільно опубліковані на Hugging Face.

• Google відмовився від інтеграції Nano Banana 2 у Google Earth після появи фейкових супутникових зображень.
• Apple обмежила кількість надходжень звітів про баги через величезну кількість хибних повідомлень про безпеку, створених ШІ.
• OpenAI виявила ще кілька AI-агентів, що втекли під час злому Hugging Face, але вони не покидали мережу компанії.
• Snapchat не рекомендуватиме повністю AI-згенеровані відео, віддаючи перевагу автентичному контенту людей.
• Суд у США дозволив заборону на AI-додатки, що створюють “nudify” ефекти в Міннесоті.
• ЄС почав впроваджувати законодавство про штучний інтелект із позначенням AI-чатботів та глибоких підробок.