математика
Astra от OpenAI взялась за теоремы: цена около $2 тыс.
10 доказательств теорем и около $2 тыс. на токены: OpenAI показала, как модель Astra выходит из режима чат-бота в режим…
Россия взяла 4 золота и 2 серебра на IMO 2026 в Шанхае
Российские школьники взяли 4 золотые и 2 серебряные медали на IMO 2026 в Шанхае, а сборная вошла в тройку сильнейших…
150 математиков выступили против AI-пиара в науке
Более 150 математиков подписали Лейденскую декларацию и потребовали не подменять научную проверку AI-пиаром и маркетинговыми анонсами.
Математики предупредили, что ИИ меняет правила игры в науке
16 исследователей восемь месяцев готовили декларацию о рисках ИИ в математике. Документ уже поддержал Международный математический союз.
OpenAI заявила о решении 80-летней задачи Эрдёша
80-летняя задача Эрдёша по геометрии, по версии OpenAI, получила опровержение с помощью ИИ — и на этот раз его поддержали…
Математики решили «проблему одинокого бегуна» для десяти участников
Математики доказали, что десять бегунов на круглом треке могут оказаться вдали друг от друга. Это открытие имеет значимые последствия для…
Axiom Math разработал Axplorer — AI для математиков с новым подходом
Axplorer от Axiom Math предлагает математикам новый подход к решению сложных задач и поиску корреляций.
Ученые используют AI для автоматизации математических доказательств
Искусственный интеллект помогает учёным быстро создавать математические доказательства, меняя подход к научным исследованиям.
Физик разработал двухкнопочный калькулятор для всех математических операций
Физик создал калькулятор на базе двух кнопок, позволяющий выполнять все базовые математические операции.
OpenAI закрывает гипотезу Эрдёша 1946 года — ИИ решает задачу геометрии
Искусственный интеллект OpenAI доказал гипотезу Эрдёша, решив центральную задачу комбинаторной геометрии и открыв новые горизонты в математике.