Почти три недели назад я предложил совместный проект, объединяющий усилия профессиональных и любительских математиков, автоматических доказателей теорем, инструментов искусственного интеллекта и языка ассистента доказательств Lean, чтобы описать граф импликаций, связывающий 4694 закона равенства для магм, которые можно выразить с помощью до четырех вызовов операции магмы. Это значит […]