Отрывок из новой статьи Теренса Тао ⬆️ А вот отрывок из сопутствующего блога: Один из аргументов для теоремы 1.4 был предложен мне ChatGPT, так как я ранее не знал о теореме двух констант Неванлинны. <> Затем ChatGPT доказал первое из двух утверждений, лежащих в основе теоремы. Также для нахождения доказательства теоремы 1.4 через лемму 1.1 использовались AlphaEvolve и ChatGPT Pro. Такая вот новая реальность: ChatGPT доказывает утверждения для лучшего математика в мире. Фактически, это чуть не соавторство.
Отрывок из новой статьи Теренса Тао ⬆️ А вот отрывок из сопутствующего блога:…
Из этого канала
- #8931Вайбкодить теперь можно даже виртуальную реальность Google выкатили Vibe Coding…
Вайбкодить теперь можно даже виртуальную реальность Google выкатили Vibe Coding XR – платформу для генерации AR/VR интерфейсов из промпта.
- #8933Meta представили TRIBE v2 – открытый симулятор человеческого мозга Это модель,…
Meta представили TRIBE v2 – открытый симулятор человеческого мозга Это модель, которая предсказывает, как будет активироваться мозг человека, когда он что-то…
- #8936Google выпустили Gemini 3.1 Flash Live Это аудио‑first модель, которая…
Google выпустили Gemini 3.1 Flash Live Это аудио‑first модель, которая ориентирована на лайв диалоги и голосовые интерфейсы.
- #8928Нашелся лидерборд: https://arcprize.org/leaderboard Кратко: – Gemini 3.1 Pro:…
Нашелся лидерборд: https://arcprize.org/leaderboard Кратко: – Gemini 3.1 Pro: 0.2% за 2.2к$ – Opus 4.6: 0.2% за 8.9к$ (!) – GPT-5.4: 0.3% за 5.2к$ – Grok 4.20:…
- #8927⚡️ Вышел ARC-AGI-3 – новая версия бенчмарка Шолле и первый интерактивный тест…
⚡️ Вышел ARC-AGI-3 – новая версия бенчмарка Шолле и первый интерактивный тест для эвала агентов В первых двух версиях задачки были статичные.