Найти в Дзене
DenoiseLAB

Автоматическое доказательство теорем. Уже возможно!!!

Фото: arXive.org
Фото: arXive.org

😧ИИ в математике набирает обороты, мы как то уже писали что в израильском университете технион предложили использовать ии для поиска новых теорем и систем диференциальных уравнений. Вот вам новиночка теперь уже про топологию. В работе упоминается и Сринивасса Рамануджан и Свинертон Даер и Берч.

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

Ссылка на статью:
https://www.deepmind.com/blog/exploring-the-beauty-of-pure-mathematics-in-novel-ways

💥
Подписывайтесь на наш канал - поддержите нас, ставьте лайки!

🔥Если вы хотите нас поддержать можно сделать вклад в развитие нашей математической лаборатории: https://boosty.to/viyshmat

👉Мы на Profi.ru: https://profi.ru/profile/MironovVO8/

👉Мы на Repetitor.ru: https://v3.repetitors.info/repetitor/p/MironovVO8/

👉Мы на HabrFreelance: https://freelance.habr.com/freelancers/MLab

👉Мы на YouDo: https://youdo.com/u9455664

👉Наш канал по Кодингу: https://dzen.ru/denoiselab