[M5.4] MiniMax-M2 — гипотеза Гольдбаха

Исходный запрос

Сформулируй гипотезу Гольдбаха. Каков текущий статус? Что известно о «слабой» версии?

Полученный результат

1 прогон: корректно — формулировка сильной, статус «не доказана», слабая как сумма трёх простых и Helfgott (2013)
2 прогон: корректно — сильная/не доказана, упомянуты частичные результаты (Чен), слабая доказана (Vinogradov + Helfgott)
3 прогон: частично корректно, но есть ошибки/шум — странные ссылки (Рамануджан), неверные утверждения про эквивалентность слабой и сильной; ядро про сильную/слабую и Helfgott присутствует
4 прогон: корректно по ядру — сильная не доказана, слабая доказана (Helfgott 2013); есть лишние/сомнительные детали (порог проверки), но смысл сохранён
5 прогон: в целом корректно по сути — сильная не доказана, слабая доказана (Vinogradov → Helfgott); но много «воды» и сомнительных/неточных вставок по датам/публикациям
6 прогон: в целом корректно по сути — сильная не доказана, слабая доказана (Helfgott 2013); при этом заметный «наукообразный шум» (условные утверждения и спорные ссылки)
7 прогон: корректно — чётко: сильная открыта, слабая доказана, Vinogradov + Helfgott
8 прогон: частично корректно — сильная/не доказана и слабая/доказана описаны верно, но есть явная ошибка про «последние результаты за 10^27» и лишние сомнительные фамилии/константы
9 прогон: корректно — кратко и по делу: сильная открыта, слабая доказана (Helfgott 2013)
10 прогон: в целом корректно — сильная не доказана, слабая доказана (Helfgott 2013); встречаются спорные детали (про константы/авторов), но ядро верное

Ожидаемый результат

Сильная (бинарная): каждое чётное число >2 (или ≥4) — сумма двух простых
Статус сильной: не доказана
Слабая (тернарная): каждое нечётное число >5 (или ≥7) — сумма трёх простых
Статус слабой: доказана (Виноградов — «для достаточно больших», Хельфготт — полностью)
Ключевые слова: Виноградов / Helfgott / ternary / «модулярность не нужна», круговой метод

Выводы по работе модели

Дополнительная информация