alphaproof

  1. NewsMaker

    Новости ИИ прорвался на Международную математическую олимпиаду: AlphaProof получила серебро — впервые в истории

    Машина, которая сама ищет и правит свои ошибки. На Международной математической олимпиаде 2024 года произошёл необычный случай : среди решений, набравших баллы на уровне серебряной медали, оказалось не человеческое решение , а работа, созданная искусственным интеллектом. Ранее ни одна...
  2. NewsMaker

    Новости Google решил переписать язык Вселенной. ИИ приступает к «косметическому ремонту» фундаментальной математики

    Искусственный интеллект официально стал соавтором математических открытий. Исследовательское подразделение Google DeepMind объявило о запуске масштабной программы AI for Math Initiative, объединяющей ведущие научные центры мира для совместной работы над математическими открытиями с...