#mathematics
6 stories taggedmathematics.
ИИ только что решил сложную открытую задачу в чистой математике. Математики потрясены.
Модель Astra компании OpenAI решила давнюю проблему теории групп в этом месяце. Работающий математик объясняет, почему это казалось невозможным еще несколько недель назад.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
ИИ OpenAI решил 10 сложных математических задач. Теперь математики задаются вопросом, сколько стоит их работа.
Новая модель OpenAI разгадала десятилетние математические загадки, которые десятилетиями ставили в тупик человеческих исследователей. Результаты впечатляют. Спор о признании заслуг в одном из них — предупреждение о том, как лаборатории ИИ относятся к людям, на работе которых они строят свои достижения.
Сверхбыстрая проверка математических доказательств: что новый результат означает для верификации огромных объёмов данных
Исследователи нашли способ проверить приблизительные утверждения об огромных наборах данных, используя лишь крошечную часть данных, причём дважды. Вот почему это важно.