Лента событий
- Казахстанским таксистам планируют запретить возить пассажиров в другие города на расстояние более 50 километров
- Менее половины работающих людей в Казахстане имеют высшее образование
- Водители работают без отдыха: МВД Казахстана предложило альтернативу такси на междугородних маршрутах
- 1,5 млн зрителей посетили театры Казахстана с начала года
- Туристы в среднем тратят 1500 долларов в Казахстане
- Впервые казахстанец примет участие в голосовании на премии «Оскар»
- ИИ будет бороться с коррупцией и улучшать здравоохранение в Казахстане
- Казахстанцы жалуются на грязные вагоны в поездах
- Прямой рейс из Казахстана в США: появились подробности
- Пассажиропоток казахстанской авиации увеличился на 15%
- Детские сады получат больше свободы и конкуренции в Казахстане
- ИИ получил серебряную медаль на международной математической олимпиаде
- Как работает защита прав потребителей в Казахстане
- В Казахстане появится единая платформа ЖКХ
- Почему некоторых казахстанцев исключили из очереди на получение жилья
- Жара убивает: генсек ООН предлагает план срочных действий
- 73% казахстанцев не обращались к врачам в течение года
- Не в деньгах счастье? – работающие и безработные казахстанцы одинаково удовлетворены своим финансовым положением
- Что будет с ценами на жилье в Казахстане
- В Казахстане планируют установить минимальную зарплату, исходя из международной конвенции
- Шестилетний ребенок выпал из окна третьего этажа в Темиртау
- Более 600 казахстанских компаний привлекли к ответственности за обман потребителей
- Студенческие омбудсмены начали мониторинг общежитий в Казахстане
- Об особенностях заключения брачного договора в Казахстане рассказали юристы
- Спасателей пугает рост показателя детской смертности на водоёмах в Казахстане
- Для чего будут проводить сельхозперепись в Казахстане
- 19 млрд тенге должны алиментщики в Казахстане
- МОК назвал место проведения зимней Олимпиады в 2030 году
- Полиция пресекла 17 фактов вымогательств со стороны несовершеннолетних — МВД
- Правила субсидирования переработки рыбной продукции изменены в РК
- Инфляция в Казахстане выросла впервые за 16 месяцев
- Китай поможет Казахстану высаживать деревья на дне Аральского моря, чтобы снизить вред экологии
- В июле в Казахстан пытались провести оружие и боеприпасы более 100 раз
- Казахстан ужесточает регулирование сбора и переработки лома металлов
- Считается ли травмой на производстве избиение одного сотрудника другим на рабочем месте
- Свадебные траты в Казахстане: во сколько обойдется той без пафоса
- Сколько стоит собрать первоклассника в школу?
- Аномальная 45-градусная жара возвращается в Казахстан
- Для получения и восстановления гражданства Казахстана нужен сертификат на знание госязыка
- Имущество на 300 тысяч тенге похитила из дачного домика злоумышленница в Карагандинской области
- Выросла численность населения Казахстана
- Водитель такси присвоил мобильник клиентки в Темиртау
- Фирму в Карагандинской области переоформили, чтобы не платить долги. Это не помогло
- Развитие туризма: в Приозерске активно расширяется спектр сервисных услуг для гостей города
- В Казахстане изменят выдачу ЭЦП
- Карагандинцев с инвалидностью приглашают на компьютерные курсы
- Операторы интернет-платформ будут платить пенсионные взносы за курьеров и таксистов
- Делать ксерокопии удостоверения личности запретили в Казахстане
- Головкин встретился с автором исторической победы на Олимпиаде
- В Караганде ежемесячно в полицию обращаются до 800 пострадавших от бытового насилия
- Список документов, необходимых для зачисления ребенка в детсад, опубликовало Минпросвещения
- В Темиртау обещают вручить очередникам ключи от новых квартир в конце августа
- Социальный проект «Серебряный возраст» реализуют в Карагандинской области
- Какой должна быть школьная форма у учащихся в Карагандинской области
- Жаркая пора: полиция патрулирует водоемы
- В этом году в Темиртау заменят еще 7 километров водовода
- Около 13 тысяч школьников получат помощь в Карагандинской области перед началом учебного года
- «Номад» взял реванш у «Сарыарки» в товарищеском матче
- Две новые школы начнут работать с 1 сентября в Карагандинской области
- Активный образ жизни помог карагандинцу побороть онкологическое заболевание
- Карагандинская детская библиотека проводит областной конкурс видеорепортажей
- Карагандинские шахтеры собирают подписи под петицией о снижении пенсионного возраста
- Спасение лося сняли на видео в Карагандинской области
- В этом году в Караганде начали устанавливать детские объекты в микрорайоне Кунгей
- В музее Каркаралинского национального парка установили две солнечные батареи
- Проект решения по петиции против пропаганды ЛГБТ озвучили в Минкультуры Казахстана
- «Мне нужно, чтобы вы кровью расписались» — аким Караганды проверил ход работ по замене теплосетей
- Жители улицы Экибастузской в Пришахтинске бьют тревогу из-за- обещанного центрального отопления
- «После перевода времени школьники приходят домой затемно»: как в Минпросвещения хотят решить эту проблему
- Как спасти урожай от сайги проблемы фермеров Карагандинской области
- Петиция по возврату времени: озвучено предварительное решение
- «Рианна отдыхает»: сурдопереводчица из Караганды стала новой звездой
- Смена часового пояса: на публичном обсуждении озвучили выводы о влиянии на энергопотребление
- Имя на карте: интеллектуальные игры к 70-летию Сарани организовали для молодёжи города
- Петиция о возврате часового пояса: Минздрав представил свою позицию
- Карагандинские шахтеры ждут зарплату уже три месяца
- Какой сегодня праздник в мире и Казахстане: 2 августа
- Казахстан ожидает жаркая погода в августе
- Кражу из салона авто за час раскрыли полицейские Темиртау
- Видеонаблюдение в школах: внесены изменения
- Правда ли, что в Казахстане взломали сайт ЦОНов – ответ eGov
- МВД опубликовало ролик «не играй в игры на дороге»
- Немедленно звоните на 1414: к казахстанцам обратились из Минздрава
- Сколько электрозарядных станций в Казахстане и где больше всего
- Краснокнижного степного орла пытался продать подросток через интернет в Карагандинской области
- Кто сможет получить более 43 тысяч тенге на сборы ребенка в школу
- «За криминализацию домогательств» — казахстанцы опубликовали новую петицию
- Отец и сын нашли друг друга в колонии строгого режима
- Головкин оказался нарасхват на Олимпиаде в Париже
- Два парка – две дискотеки: темиртаусцев зовут танцевать
- В Караганде продолжаются интенсивные работы по благоустройству дворов
- Данил Мусабаев передал привет карагандинцам с Олимпиады в Париже
- Огонь спортивного духа: факел областной спартакиады зажжен в поселке Нура
- Участники ДТП под Карагандой ищут очевидцев аварии
- Ещё четыре пожарных поста открыли в сёлах Карагандинской области
- В Караганде продлили время движения автобусов № 33, 43 и 53
- 1 августа – Всемирный день борьбы с раком легкого
- Жители улицы Жамбыла заверяют, что погрязли в жирных отходах
- Очередная точечная застройка в Караганде появится на проспекте Назарбаева
- Карагандинские специалисты рекомендуют пока воздержаться от покупок ранних бахчевых
- Спортивно-музыкальные выходные планируются в парках Караганды
- Казахстанцы получают лекарства по рецепту через QR-код
- В Караганде в Доме дружбы говорили о духовных ценностях
- Публичное обсуждение проекта решения по петиции о часовом поясе состоится 2 августа
- Капремонты двух котлоагрегатов проводят на Карагандинской ТЭЦ-1
- В Каркаралинском районе работает династия лесников
- Завтра в Караганде вновь раздадут мороженое в обмен на бутылки
- В «Сарыарке» поставили амбициозную цель на новый сезон
- Более 100 тысяч нарушений ПДД выявили полицейские Карагандинской области
- Мальдивы или Балхаш? Путешественница показала отдых и цены на популярном курорте
- Какие дома могут зимой остаться без тепла в Караганде
- Две водопроводные аварии произошли с утра в Караганде
- Трудовая династия железнодорожников проживает в Караганде
- Сильная жара и высокая пожарная опасность ожидаются почти на всей территории РК
- Хищение бюджетных средств для строительства бассейна в районном центре Карагандинской области расследует АФМ
- Школьник из Караганды стал бронзовым призёром международной олимпиады по экономике
- Какой сегодня праздник в мире и Казахстане: 1 августа
ОПРОС
- 1. Поступаю в карагандинский вуз;(55)
- 2. Поступаю в один из казахстанских вузов;(13)
- 3. Уезжаю учиться за границу.(120)
ИИ получил серебряную медаль на международной математической олимпиаде
Фото: deepmind.googleРеволюционные модели AlphaProof и AlphaGeometry 2 решают сложные математические задачи. Общий искусственный интеллект (AGI) с продвинутыми математическими рассуждениями потенциально может открыть новые горизонты в науке и технологиях. Это первый случай, когда искусственный интеллект достиг такого результата на международной математической олимпиаде, передает агентство Kazinform.
Разработчики представили новую систему формального математического мышления AlphaProof и улучшенную версию системы решения геометрии AlphaGeometry 2. Вместе эти системы решили четыре из шести задач Международной математической олимпиады (IMO) этого года, впервые достигнув уровня серебряного медалиста соревнований.
«Мы добились большого прогресса в создании систем искусственного интеллекта, которые помогают математикам открывать новые идеи, новые алгоритмы и ответы на открытые проблемы. Но нынешние системы искусственного интеллекта по-прежнему с трудом решают общие математические задачи из-за ограничений в навыках рассуждения и обучающих данных», — отметили разработчики.
IMO — старейший, крупнейший и престижнейший конкурс молодых математиков, проводимый ежегодно с 1959 года. Каждый год элитные математики, готовящиеся к поступлению в колледж, тренируются, иногда в течение тысяч часов, для решения шести исключительно сложных задач по алгебре, комбинаторике, геометрии и теории чисел. Многие из обладателей медали Филдса, одной из высших наград для математиков, представляли свою страну в IMO.
Совсем недавно ежегодные соревнования IMO также получили широкое признание как грандиозная задача в области машинного обучения и желательный ориентир для измерения передовых возможностей математического мышления системы искусственного интеллекта.
«В этом году мы применили нашу комбинированную систему искусственного интеллекта для решения задач соревнований, предоставленную организаторами IMO. Наши решения оценивались в соответствии с правилами начисления баллов IMO выдающимися математиками профессором сэром Тимоти Гауэрсом, золотым медалистом IMO и обладателем медали Филдса, и доктором Джозефом Майерсом, двукратным золотым медалистом IMO и председателем Комитета по отбору задач IMO 2024», — пояснили разработчики.
«Тот факт, что программа может создать подобную неочевидную конструкцию, очень впечатляет и выходит далеко за рамки того, что я считал современным», — поделился своим мнением профессор сэр Тимоти Гауэрс, золотой медалист IMO и обладатель медали Филдса.
Вице-президент Google DeepMind Пушмит Коли отметил, что решение задач на уровне математической олимпиады требует исключительного абстрактного мышления и сложного планирования, что долгое время оставалось практически невозможным для ИИ.
Он подчеркнул, что ранее не существовало систем искусственного интеллекта, способных решать задачи с такой высокой точностью и универсальностью. Тем не менее, AlphaProof и AlphaGeometry 2 смогли преодолеть эти вызовы благодаря интенсивному обучению и использованию формальных языков программирования.