TGViewer
Про AI: Лучшие cтатьи и исследования Про AI: Лучшие cтатьи и исследования @ai_longreads · 1.82K subscribers
Post #785 685
Astra получила новые результаты по 10 открытым задачам математики

Внутренняя версия следующей флагманской модели OpenAI решила 10 давно открытых проблем математики и теоретической информатики примерно за $2000 — и формализовала каждое доказательство в Lean.

Читать статью
Open in Telegram All posts from @ai_longreads
More from @ai_longreads
  1. Sep 25, 2026Строим фабрику фабрик футболок Неформальный бенчмарк того, насколько хорошо работают инстр…
  2. Sep 25, 2026AI-темы дня — обзор GitHub, Reddit и Hugging Face: Ternary-Bonsai-2-27B-gguf Полноценная м…
  3. Sep 24, 2026Как создать корпоративный мозг, которым действительно хотят пользоваться Команда Theory Ve…
  4. Sep 23, 2026Автоматизации, переработанные с нуля Mintlify переработала систему автоматизаций: вместо н…
  5. Sep 23, 2026Что сегодня в тренде в AI-индустрии: Qwen-Image-2.1-Uncensored в формате GGUF Доступны GGU…
  6. Sep 21, 2026Утренняя подборка AI новостей: Нативный рантайм MLX для моделей Laya Обеспечивает быстрое…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →