ChatGPT нашёл ошибку в доказательстве, которую пропустил рецензент Математик Анджей Козловский рассказывает, как ChatGPT проверил его уже принятую в хороший журнал статью по алгебраической топологии — и обнаружил, что доказательство второй теоремы неверно. Из-за этого половину статьи пришлось выбросить, а решённая задача снова стала открытой. Читать статью
ChatGPT нашёл ошибку в доказательстве, которую пропустил рецензент Математик…
Источник
https://t.me/ai_longreads/808Канал Про AI: Лучшие cтатьи и исследования · опубликовано 19 авг. 2026 г.
Из этого канала
- #809Codex для Linux наконец-то здесь 🐧 Десктопное приложение ChatGPT вышло на Linux…
Codex для Linux наконец-то здесь 🐧 Десктопное приложение ChatGPT вышло на Linux в режиме превью: Codex, ChatGPT и Work в одном приложении — с параллельными…
- #810Полное руководство по AGENTS.md Как устроен файл AGENTS.md, почему разросшиеся…
Полное руководство по AGENTS.md Как устроен файл `AGENTS.md`, почему разросшиеся инструкции вредят агенту и как с помощью progressive disclosure сократить их…
- #811AI-новости утра — что обсуждают на GitHub, Reddit и Hugging Face: Qwen3.8-27B в…
AI-новости утра — что обсуждают на GitHub, Reddit и Hugging Face: Qwen3.8-27B в формате GGUF от Unsloth Опубликованы веса модели Qwen3.8-27B, оптимизированные…
- #807Всё, что можно взломать, будет взломано CTO Vercel рассказывает, почему у…
Всё, что можно взломать, будет взломано CTO Vercel рассказывает, почему у защитников сейчас есть временное преимущество перед атакующими в кибербезопасности:…
- #806Свежие темы из мира AI — GitHub, Reddit, Hugging Face: macos-harness:…
Свежие темы из мира AI — GitHub, Reddit, Hugging Face: macos-harness: управление Mac с помощью LLM Минималистичный инструмент, предоставляющий LLM полную…