От Маска ушел ещё один сооснователь xAI, который создал компанию по верификации сверхразума
Кристиан Сегеди, известный ИИ-исследователь и математик, экс-сотрудник Google и сооснователь xAI, объявил о запуске новой компании под названием Mathematics. GitHub. Early access.
Они создают:
- ИИ-агентов для формализации математики. Основной продукт — агент Gauss, построенный на инфраструктуре подкрепленного обучения из Morph Labs. Он генерирует тысячи строк кода для доказательств теорем, используя LLM.
- Формальные доказательства сложных теорем. Уже на старте они расширили формализацию теоремы о сильном распределении простых чисел — это прорыв, основанный на работах Алекса Конторовичa и Теренса Тао. Добавили 22 000 строк LLM-генерированного кода в Lean, что делает доказательство полностью проверяемым.
- Инфраструктуру для верифицированного ИИ. Цель — создать сверхинтеллект, где все выводы не просто генерируются, а строго доказываются. Это шаг к ИИ, который превзойдёт человека в математике к 2026 году, без "галлюцинаций" или ошибок.
Ранее из компании Маска xAI ушел Игорь Бабушкин.
Кристиан Сегеди, известный ИИ-исследователь и математик, экс-сотрудник Google и сооснователь xAI, объявил о запуске новой компании под названием Mathematics. GitHub. Early access.
Они создают:
- ИИ-агентов для формализации математики. Основной продукт — агент Gauss, построенный на инфраструктуре подкрепленного обучения из Morph Labs. Он генерирует тысячи строк кода для доказательств теорем, используя LLM.
- Формальные доказательства сложных теорем. Уже на старте они расширили формализацию теоремы о сильном распределении простых чисел — это прорыв, основанный на работах Алекса Конторовичa и Теренса Тао. Добавили 22 000 строк LLM-генерированного кода в Lean, что делает доказательство полностью проверяемым.
- Инфраструктуру для верифицированного ИИ. Цель — создать сверхинтеллект, где все выводы не просто генерируются, а строго доказываются. Это шаг к ИИ, который превзойдёт человека в математике к 2026 году, без "галлюцинаций" или ошибок.
Ранее из компании Маска xAI ушел Игорь Бабушкин.