Новости: Hi-Tech
Сегодня
Архив новостей

Темы


Регионы

Россия

Украина

Математики приняли ИИ после успеха машинных доказательств теоремы

Опыт математиков, которые научились доверять результатам работы искусственного интеллекта при доказательстве теорем, показывает возможности мирного сосуществования человека и машин, пишет New Scientist. В 1976 году Кеннет Аппель и Вольфганг Хакен с помощью компьютерных вычислений доказали теорему четырех красок, сообщает New Scientist.

Другие новости:

Названа дата следующей сильной вспышки на Солнце

Следующую сильную вспышку на Солнце можно ожидать в среду, 13 мая, сообщает в Telegram-канале Лаборатория солнечной астрономии ИКИ РАН. Там объяснили, что пришли к такому выводу на основе трехсуточной разницы между вспышками 7 и 10 мая.

Новости России

Блоги



Rss.plus