Етикет: математика

20 октомври 2026 г.

Две седмици след пакета на OpenAI математиците вече четат доказателството: метаплектични форми, частни проверки и преправен курс в Принстън.

17 октомври 2026 г.

Експерти от EPFL и Принстън твърдят, че решението на OpenAI по Навие-Стокс не следва испанската програма, както компанията обяви през септември.

14 октомври 2026 г.

OpenAI публикува 199-страничен труд, в който неиздаден модел изключва нули на зета функцията отвъд 7/8. Математиците вече проверяват в Lean.

12 октомври 2026 г.

Google DeepMind публикува в Science агента AlphaProof Nexus: 9 от 353 отворени задачи на Ердьош, 44 хипотези от OEIS и проверка в Lean.

9 октомври 2026 г.

Асоциацията за човешка математика нарече масовото публикуване на над 700 AI-генерирани ръкописа демонстрация на сила и призова колегите си да спрат работа с OpenAI.

6 октомври 2026 г.

10 000 агента на OpenAI обявиха сингулярност в Навие-Стокс за 88 часа. Математиците спорят за приоритета, за прегледа и за бъдещето на занаята.

26 септември 2026 г.

GPT-6 Astra и Claude Opus 5 счупиха шифри от 1941 г., устояли на криптоаналитиците от 2005 г. насам. Frode Weierud потвърди и двете решения.

22 септември 2026 г.

OpenAI твърди, че вътрешен модел е решил над 100 отворени задачи, и обяви независима консултативна група от девет математици, базирана в Принстън.

18 септември 2026 г.

The Information твърди, че служители на OpenAI очакват скоро да падне хипотезата на Ходж. Обявяването се отлага заради PR провала с Навие-Стокс.

15 септември 2026 г.

Институтът Клей обяви на 11 септември, че Милениум задачата за Навие-Стокс изглежда решена. Наградата от 1 млн. долара обаче чака поне две години.

11 септември 2026 г.

Шестима математици публикуваха първото същински ново доказателство на четирицветната теорема от 1997 г. насам и свалиха оцветяването до O(n log n).

10 септември 2026 г.

Андреас Том от TU Dresden обвини OpenAI в подвеждащ отговор за чатовете си, а Тристан Бъкмастър твърди, че изобщо не е получил отговор.