КомпанияСША

Axiom Math

Американский ИИ-стартап, который строит системы математических рассуждений с машинной проверкой доказательств в Lean.

упоминание в архиве

в центре выпуска

выпуск с упоминанием

фрагментов с таймкодом

ноя 2026

первое упоминание

ноя 2026

пик · 1 за месяц

связей с сущностями

Выпуски

глубина

тема

Показано 1 из 1 · упоминаний в архиве: 1

#19411 ноя 2026

контекст и сравнение✓ статья-разборНаука и ускорение исследований