КомпанияСША
Axiom Math
Американский ИИ-стартап, который строит системы математических рассуждений с машинной проверкой доказательств в Lean.
1
упоминание в архиве
0
в центре выпуска
1
выпуск с упоминанием
0
фрагментов с таймкодом
ноя 2026
первое упоминание
ноя 2026
пик · 1 за месяц
67
связей с сущностями
Фрагменты
У записи «Axiom Math» нет фрагментов с таймкодами
Запись размечена в выпусках, но реплик, где имя названо, в расшифровках не нашлось. Выпуски с ней — во вкладке «Выпуски».