КомпанияСША
Axiom Math
Американский ИИ-стартап, который строит системы математических рассуждений с машинной проверкой доказательств в Lean.
1
упоминание в архиве
0
в центре выпуска
1
выпуск с упоминанием
0
фрагментов с таймкодом
ноя 2026
первое упоминание
ноя 2026
пик · 1 за месяц
67
связей с сущностями
Тренды
Axiom Math в трендах автора
все 20 мыслей →Связь — выпуски мысли, где Axiom Math в центре или в существенном разборе, и цитаты автора с этим именем. Полоса — сколько выпусков вместе; синие столбцы — месяцы пересечения на шкале июнь 2024 — ноябрь 2026.
Пересечений с трендами не найдено
Axiom Math не бывает в центре или в разборе выпусков, отнесённых к 20 мыслям автора, и цитаты автора этого имени не называют.