ИИ и сложнейшие проблемы мира ─ Математика
Наука и научные знания, продвигаемые ИИ, по дисциплинам
RSS-лента · 3 материалов
ИИ всё ближе к решению гипотезы Римана — одной из самых сложных математических задач
Оригинальное название: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI выложила в сеть 700 математических препринтов: математики возмущены
Оригинальное название: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI применила невыпущенную модель к сотням громких математических задач и 6 октября опубликовала на GitHub более 700 препринтов, созданных ИИ. Одни математики приветствовали решения давних проблем, другие жаловались в социальных сетях, что их опередили. Один математик назвал этот поток «слопокалипсисом», хотя содержание всё же может оказаться формально верным.
Claude улучшил давнюю нижнюю оценку доли нулей дзета-функции Римана, удовлетворяющих гипотезе Римана
Оригинальное название: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
Гипотеза Римана — нерешённая проблема — утверждает, что все нули дзета-функции Римана лежат на определённой вертикальной прямой. Пытаясь решить эту задачу, неопубликованная исследовательская версия Claude не доказала гипотезу, но улучшила давнюю нижнюю оценку доли нулей, удовлетворяющих ей, повысив её с 41,6% до 67,2%. Два математика Anthropic проверили статью и написали неформальную экспертную заметку, а Claude также подготовил формально проверяемое доказательство. Ожидается, что этот результат не приведёт к доказательству самой гипотезы.