Слышали, что недавно Claude почти смог решить гипотезу Римана? Забудьте.

С 13 по 14 августа были доказаны или продвинулись в решении с помощью ИИ сразу 7 гипотез и ещё 14 в работе. Все доказательства публикуют на arxiv, но, к сожалению, без названий конкретных моделей:

• Гипотеза Банаха об изометрических подпространствах — была не решена с 1932
• Гипотеза Громова о росте объёма — оставалась нерешённой с 1986
• Точная константа Хеймана–Ву — оставалась нерешённой с 1981
• Расстояние Громова–Хаусдорфа — оставалась нерешённой где-то с 2015
• Многочлены Чебышёва на жордановой дуге — оставалась нерешённой с 1969 года
• Конечный индекс разрушения запутанности у любого PPT-канала — оставалась нерешённой с ~2012–2013
• Вопрос Радченко–Вязовской об интерполяции Фурье — оставалась нерешённой с 2017–2019

И буквально несколько часов назад вышел рассказ по доказательству гипотезы Крузейкса с GPT 5.6 Sol.

Вайбматан уже тут.

Пет-проект