Преодоление барьера высокой степени в задаче Лемера с помощью цикла открытий человек-ИИ
arXiv:2610.30277v1 Тип объявления: new Аннотация: Хотя искусственный интеллект достиг быстрого прогресса в математическом рассуждении, многие открытые проблемы зависят от структуры, которая раскрывается только через крупномасштабное вычислительное исследование и аналитический синтез. Одним из таких примеров…
Кратко от AI: Главные тезисы
- arXiv:2610.30277v1 Тип объявления: new Аннотация: Хотя искусственный интеллект достиг быстрого прогресса в математическом рассуждении, многие открытые проблемы зависят от структуры, которая раскрывается только через крупномасштабное вычислительное исследование и аналитический синтез
- Одним из таких примеров…
Преодоление барьера высокой степени в задаче Лемера с помощью цикла открытий человек-ИИ
Похожие материалы
Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту
🧠 Китайский математик подготовил 1000 задач, которые бросят вызов искусственному интеллекту 61-летний профессор Нанкинского университета Сунь Чживэй составил сборник из 1000 нерешённых математических гипотез объёмом более 400 страниц. Учёный уверен, что ИИ не сможет решить…
Route-and-Generate: Улучшение KL-регуляризованного маршрутизатора для маршрутизации рассуждений в LLM
arXiv:2610.30351v1 Тип объявления: new Аннотация: Большие языковые модели часто применяют сложное рассуждение безразлично, что приводит к чрезмерному обдумыванию простых задач и недостаточному обдумыванию более сложных. Мы представляем Route-and-Generate (Rouge), иерархическую обучающую структуру, которая позволяет...
ENSoft Ontology Priors over Latent Concept Posteriors for Weakly Supervised Neuro-Symbolic Learning
arXiv:2610.30391v1 Announce Type: new Abstract: Neuro-symbolic (NeSy) predictors that supervise only the task label suffer from reasoning shortcuts: distinct concept mappings achieve the same maximum likelihood, leaving the recovered concepts unidentifiable and unsafe for…
От сред с одним актером к мирам событий с множеством актеров: могут ли LLM быть моделями миров событий?
arXiv:2610.30488v1 Тип объявления: новый Абстракт: Модели мира помогают агентам оценивать последствия своих действий до их совершения. Однако многие реальные системы включают множество актеров, которые принимают собственные решения, могут эволюционировать даже когда агент не действует, и являются лишь...