5 месяцев назад
Отголоски Евклида в искусственном интеллекте: геометрия, логика и математические рассуждения
Древний мир математики и современное царство искусственного интеллекта (ИИ) на первый взгляд могут показаться разными мирами. Однако основополагающие принципы, заложенные Евклидом более двух тысячелетий назад, оказали значительное влияние на развитие искусственного интеллекта сегодня. Евклид Александрийский жил около 300 года до нашей эры (около 325 - 265 г. до н.э. (по другим данным 360 – 280 г. до н.э.) в Александрии, Египет), в эллинистический период, время великого интеллектуального и культурного расцвета Древней Греции...
9 месяцев назад
ИИ AlphaGeometry решает сложные геометрические задачи
ИИ-система AlphaGeometry продемонстрировала способность решать сложные геометрические задачи на высоком уровне. Исследователи из компании DeepMind и Нью-Йоркского университета разработали ИИ-систему AlphaGeometry, которая продемонстрировала способность решать сложные геометрические задачи на высоком уровне. Доказательство математических теорем может быть сложным занятием, и люди, которые умеют это делать, считаются ценным активом для высших учебных заведений и компаний, таких как Google. Поэтому для выявления талантов была создана Международная математическая олимпиада...