Математики из Австралии и специалисты Deepmind приспособили разработанные ими нейросети для решения сложных математических задач и поиска доказательств для теорем ➗

Объединив усилия, они создали нейросеть, которая позволяет ученым быстро формулировать различные математические гипотезы и проверять их на практике. Помимо этого, данная система помогает математикам искать различные неочевидные закономерности, которые крайне сложно заметить человеку в большом наборе математических объектов.

Данный подход для проверки интуитивных предсказаний математиков позволил профессору Уильямсону и его коллегам найти решение и доказательство для двух гипотез в области теории узлов и теории представлений, которые были сформулированы несколько десятилетий назад.

В частности, математикам удалось найти решение для одной из гипотез, связанных с так называемыми многочленами Каждана-Люстига. Доказательство для этой теоремы ученые не могли самостоятельно найти на протяжении более 40 лет. Его успешное открытие при помощи нейросетей, как считают специалисты Deepmind, говорит о возможности широкого применения ИИ для совершения открытий во всех сферах науки.

#AI_news #hacksai #хакатоныИИ #ИскусственныйИнтеллект

10 хакатонов за 6 месяцев – это сильно ⚡️⚡️
Подводем итоги:

▫️ более 1500 представителей российского ИИ-сообщества из 30 регионов;
▫️более 115 предложенных решений
▫️14 решенных кейсов;
▫️1000+ офлайн слушателей лекций
▫️23000+ онлайн-просмотров

Цифры говорят сами за себя. Год от года мы планируем расширять наше сообщество и пополнять его такими ценными кадрами, как вы, друзья. За 2021 год мы побывали:

1. Нижний Новгород 1/116
2. Калининград 2/116
3. Cтаврополь 3/116
4. Великий Новгород 4/116
5. Ростов-На-Дону 5/116
6. Пермь 6/116
7. Чебоксары 7/116
8. Санкт-Петербург 8/116
9. Челябинск 9/116
10. Самара 10/116

Спасибо всем и каждому, кто был в офлайн и онлайн 🍀💚

#hacksai #ИскусственныйИнтеллект #хактаоныИИ #рсв #РоссияСтранаВозможностей