08
Oct
translation
OpenAI и математика: 722 доказательства от ИИ
OpenAI публикует 722 математических рукописи от внутренней frontier-модели, включая решение задачи …
→
Математика
9
материалов
23
Sep
translation
OpenAI создала советников по математике и AI
OpenAI учредила независимую консультативную группу математиков для проверки и публикации результатов …
→
22
Sep
news
OpenAI создала математический совет после 100+ решённых задач
OpenAI основала независимую консультативную группу математиков при Принстонском институте. Поводом …
→
15
Sep
translation
ИИ решил задачу тысячелетия Навье–Стокса
OpenAI объявила, что её внутренняя ИИ-модель решила задачу тысячелетия Навье–Стокса — одну из семи …
→
12
Sep
news
25 лауреатов Филдсовской премии против ИИ в математике
Терренс Тао и 24 других лауреата Филдсовской премии подписали декларацию о разрушительном влиянии …
→
11
Sep
news
OpenAI решила задачу Навье-Стокса с Lean 4 доказательством
OpenAI объявила о решении задачи тысячелетия Навье-Стокса — и одновременно опубликовала формальное …
→
09
Sep
article
Caltech Mathathon: первый хакатон по математике исследовательского уровня
Caltech Mathathon — первый в мире хакатон по математике уровня открытых задач. 100 команд, $2 млн …
→
03
Aug
translation
OpenAI Astra решила 10 открытых задач математики
Модель Astra от OpenAI решила 10 нерешённых задач математики и теоретической информатики — с …
→
26
May
translation
ИИ от OpenAI опроверг гипотезу, 80 лет не решавшуюся
Модель OpenAI опровергла знаменитую гипотезу Эрдёша о единичных расстояниях — задачу дискретной …
→