Этот 24-летний парень привлек 64 миллиона долларов на создание искусственного интеллекта, который...

Описание: Карина Хонг бросила аспирантуру в Стэнфорде, чтобы создать «математический сверхинтеллект». Ее стартап Axiom Math только что привлек 64 миллиона долларов для реализации этой идеи.

В этом эпизоде ​​мы исследуем, что значит создать ИИ, который не просто решает математические задачи, но и открывает совершенно новые теоремы, формально доказывает их и становится умнее с каждой итерацией. Карина объясняет, как ее команда уже решила 130-летнюю проблему о функциях Ляпунова и опровергла 30-летнюю гипотезу теории графов.

Мы также обсуждаем, почему математика является секретной основой для всего, от проектирования микросхем до количественной торговли и программных агентов, а также захватывающие связи между нейробиологией, ИИ и математикой.

Узнайте больше об Axiom: https://axiommath.ai/

Подпишитесь на рассылку The Neuron: https://theneuron.ai

➤ РАЗДЕЛЫ
0:00 - Введение
0:52 - Знакомство с Кариной Хонг
1:31 - Связь нейронауки и математики
8:35 - Что такое математический сверхинтеллект?

9:34 — Преодоление разрыва: вы против Теренса Тао
10:27 — Цикл самосовершенствования
13:31 — Технические узкие места: дефицит данных
18:21 — Почему математика применима ко всему
21:03 — Откровение Музея истории компьютеров
25:33 — PatternBoost: математическое открытие
31:13 — Решение проблемы 130-летней давности
33:57 — Предотвращение генерации ИИ тривиальной математики
42:00 — Кто проверяет того, кто проверяет?

43:31 — Любой аргумент можно опровергнуть контрпримером
45:30 — Коммерческие приложения
48:19 — Будущее: среда разработки для логических рассуждений для всех
51:28 — Синтетические данные: секретное оружие Axiom
57:13 — Где найти Axiom Math

Ведущие: Кори Ноулз и Грант Харви
Гость: Карина Хонг, генеральный директор и основатель Axiom Math
Опубликовано: Обри Зиглер
Редактор: Куш Фелисильда