722 теореми от ИИ: OpenAI публикува математическите резултати на своя вътрешен топ-модел в отворен достъп
Доказателствата са формализирани на езика Lean — компанията обещава да финансира поредица от конференции, за да може математическата общност да провери заключенията
OpenAI публикува в публичен GitHub-репозиторий 722 математически резултата, получени от вътрешния топ-модел на компанията. Много от доказателствата са формализирани на езика Lean — система, в която всяка логическа верига се проверява от компютър.
Репозиторият ще се попълва с нови формализации, след като те бъдат получени.
Публикацията е подготвена в съответствие с препоръките на независимата Консултативна група по математика и изкуствен интелект към Института за перспективни изследвания (IAS) в Принстън. Заедно с резултатите OpenAI публикува 10 разшифровки на разсъжденията на модела, оценка на изчислителните разходи, преизчислени за използване на Pro-версията на ChatGPT, и статистика за броя на опитите. Средната задача е изисквала еквивалент на приблизително три часа работа на ChatGPT Pro в режим на размисъл.
„Искаме този напредък да разшири границите на човешкото знание и да проправи пътя към по-нататъшни пробиви в математиката“, заявиха от компанията. OpenAI ще финансира серия от семинари, конференции и специални програми, посветени на осмислянето на резултатите, получени от ИИ. Подробностите ще бъдат обявени по-късно.
Компанията ясно заяви, че се готви за широко публично разкриване на модела, който стои зад резултатите ѝ. Публикуването на работата е не само жест на прозрачност, но и част от оценката на възможностите на математиката и други науки. Математическата общност сега ще трябва да определи дълбочината на доказателствата, генерирани от модела.
https://openai.com/index/sharing-ai-...n-mathematics/
https://github.com/openai/math
Една идея е достатъчна: Google пусна Playground за създаване на игри с изкуствен интелект
Първоначално платформата е достъпна за потребители над 18 години в Съединените щати.
Google представи експериментална браузър платформа, Playground, която позволява на потребителите да създават прости игри, използвайки текстови заявки. Не се изискват умения за програмиране, за да използвате услугата: потребителите описват своята идея и след това могат да променят правилата, физиката, героите и средата, като издават команди в чата.
Можете да започнете игра от нулата или да използвате предварително зададени настройки. След като бъде създаден, проектът е достъпен за тестване в браузъра, а завършената игра може да се запази поверителна, да се сподели с приятели чрез линк или да се публикува в галерията Playground Explore. Някои жанрове предлагат класации и мултиплейър режими.
Playground се захранва от моделите Gemini, Nano Banana и Lyria на Google, допълнени от специализирана система за генериране на игри. Платформата е безплатна, но абонатите на Google One получават увеличени седмични лимити за използване на токени.
Първоначално Playground е достъпен за потребители на възраст 18 и повече години в САЩ. Google планира да интегрира допълнително услугата с Unity Spark, което ще позволи на потребителите да мигрират проектите си към средата на Unity и да използват по-сложни игрови механики и 3D графика.
https://blog.google/innovation-and-a...ming-platform/
Google обновиха своя Nano Banana: Изкуственият интелект стана по-точен при редактирането на изображения.
Новата версия по-точно модифицира отделни елементи на изображението и по-добре запазва външния вид на хората и обектите по време на многократни редакции.
Google представи Nano Banana 2.1, нова версия на своя модел за генериране и редактиране на изображения, изграден на базата на Gemini 3.6 Image.
Една от ключовите промени е по-прецизната работа с отделни области на изображението. Потребителят може да избере желаната област и да я модифицира, без да прегенерира напълно сцената. Моделът също така по-добре запазва външния вид на хора, обекти и други обекти при извършване на редакции и създаване на серия от свързани изображения.
Разработчиците отбелязват подобрения във визуалната композиция и качеството на създадените материали. Nano Banana 2.1 получава възможностите на предишната версия, включително по-точно показване на текст и използване на информация от реалния свят.
Моделът вече е наличен в приложението Gemini, Google Search AI Mode, Google AI Studio, Flow, Stitch, Google Ads и платформата Gemini Enterprise.
Nano Banana 2.1 е достъпна за разработчици под идентификатора gemini-nano-banana-2.1. Моделът приема текст, изображения, аудио и видео данни и може да създава изображения с резолюция 1K, 2K и 4K.
https://www.neowin.net/news/google-l...t-consistency/





