Эта статья — ответ на критику: «перестаньте рассказывать сказки, как AI помогает в науке, покажите примеры!». Действительно, без примеров, рассказы об успешном успехе AI выглядят как сектантский бред.
Рубрика «верификация доказательств»
Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику
2026-02-05 в 16:27, admin, рубрики: gemini, Google Research, llm, LWE, peer review, reasoning, SNARG, zk-SNARK, верификация доказательств, дерево Штейнера