📰 GPT-6 Astra доказывает 70% теорем Lean, но не решает ни одну из 30 открытых гипотез
Успех GPT-6 Astra в доказательстве теорем демонстрирует потенциал ИИ в формальной логике, однако трудности с открытыми гипотезами подчёркивают нынешние ограничения технологии. Статья «GPT-6 Astra доказывает 70% теорем Lean, но не решает ни одну из 30 открытых гипотез» впервые появилась на Crypto Briefing.
Источник : Crypto Briefing
Время : 2026-11-08 18:51:15
Автор : diego almada lopez
#ии
Поделитесь своим мнением в комментариях ниже
Успех GPT-6 Astra в доказательстве теорем демонстрирует потенциал ИИ в формальной логике, однако трудности с открытыми гипотезами подчёркивают нынешние ограничения технологии. Статья «GPT-6 Astra доказывает 70% теорем Lean, но не решает ни одну из 30 открытых гипотез» впервые появилась на Crypto Briefing.
Источник : Crypto Briefing
Время : 2026-11-08 18:51:15
Автор : diego almada lopez
#ии
Поделитесь своим мнением в комментариях ниже