Швейцарский математик Йоханнес Шмитт (Johannes Schmitt) сообщил в сети X, что GPT-5 впервые независимо решила открытую математическую задачу. По словам Шмитта, GPT-5 предложила элегантное решение, неожиданно применив методы из другой
Tag "формальные доказательства"
Последние новости
- Какая зарплата нужна, чтобы позволить себе жилье стоимостью 1 миллион евро по всей Европе
- в 2ГИС появилась афиша мероприятий
- Где в Польше быстрее всего растут зарплаты — Finance.ua
- Подполковник Нацгвардии обвиняется в безосновательном начислении «боевых» более чем на 72 млн грн
- Samsung удержала лидерство, Apple резко нарастила поставки, а Xiaomi заняла третье место на рынке смартфонов
- ЕС планирует построить до семи гигафабрик искусственного интеллекта — Finance.ua
- Павла Дурова* внесли в перечень террористов и экстремистов. Основатель Telegram считает, что это сделали «за отказ выполнить требования о массовой слежке и цензуре в Telegram»
- Топливный кризис подстегнул мировые продажи электромобилей до рекордного уровня
- В России откроют доступ к 8-кубитному квантовому сопроцессору SnowDrop 8Q
- OpenAI готовит собственную экосистему ИИ-устройств вокруг ChatGPT — Finance.ua
- После сбоев Waymo США хотят ввести единые правила для роботакси при чрезвычайных ситуациях
- Испания развернет авиационный отряд в Румынии в рамках миссии НАТО — Finance.ua
- китайские астрономы открыли пульсар с аномальным замедлением
- Mercedes отзывает более 310 тысяч автомобилей — причины (модели) — Finance.ua
- Rocket Lab расширяет сеть запусков и открывает 4-й космодром на Аляске
- Цукерберг прогнозирует эру персональных ИИ-агентов уже через 5 лет — Finance.ua
- ИИ выявляет в два раза больше уязвимостей в ПО, но почти ни одна из них не используется злоумышленниками
- Gemini теперь обобщает текст и пишет комментарии в Google Docs — Finance.ua
- 9210 мА·ч, 100 Вт, IP69K и Snapdragon 6 Gen 5. Раскрыты характеристики глобального Redmi Note 17 Pro Max
- Глава Microsoft предупредил о рисках зависимости от OpenAI и Anthropic — Finance.ua
- xAI открыла ранний доступ к Build Mode для создания сайтов и приложений — Finance.ua
- Первый спутниковый флот для поиска лесных пожаров до их распространения начал работу
- Кадровый дефицит стал главным препятствием в модернизации украинской науки — эксперт
- BMW сократит 8000 сотрудников и передаст «мозг» своих автомобилей Qualcomm
- Украина парализовала почти половину нефтеперерабатывающих мощностей рф — Finance.ua
- В космосе впервые получили полноценные рентгеновские снимки человека
- в Киеве за $2,5 тысячи снимали статус нарушителя — Finance.ua
- Mijia French Flat Embedded 400L поступил в продажу
- В Одесской области 83 военных строили дом командиру части (фото) — Finance.ua
Наши партнёры
UA.TODAY - Украина Сегодня UA.TODAY
