Tech Meridian ← К СУЩНОСТЯМ
PROМОЙ MERIDIAN EN

КОМПАНИЯ · ENTITY #862

Millennium Prize Problems

Хронология связанных событий, источники и контекст из новостной базы.

ХРОНОЛОГИЯ СОБЫТИЙ

4

RESEARCH · 2 ИСТОЧН. · The Decoder · TechCrunch AI

OpenAI просит внешних экспертов проверить доказательства, созданные ИИ, утверждающие опровержение ETH

OpenAI заявляет, что внутренние модели сгенерировали рукописи, в том числе претендующее на опровержение гипотезы о экспоненциальном времени (ETH) и частичный результат, связанный с одной из задач тысячелетия. Компания опубликовала исходные материалы и формализации в Lean, финансирует независимую проверку и привлекла внешних экспертов (включая нобелевского лауреата) в качестве «кураторов» для оценки и интерпретации доказательств.

9.0

RESEARCH · 1 ИСТОЧН. · MIT News AI

Саша Рахлин (MIT) предлагает пути развития ИИ в академии

Саша Рахлин, руководитель Центра статистики и науки о данных MIT, опубликовал эссе, обобщающее дискуссии о том, как ИИ меняет исследовательскую и аспирантскую работу. Он отмечает быстрое развитие возможностей (например, ИИ решает сложные математические задачи), необходимость пересмотра академического кредита и подготовки студентов, а также приоритеты университетов — сохранение неявных знаний, обеспечение независимой верификации и частичная технологическая независимость от индустрии.

6.0

REGULATION · 1 ИСТОЧН. · The Decoder

42 ведущих математика предупреждают Королевское общество: у продвинутого ИИ есть реальный и срочный экзистенциальный риск

Открытое письмо президенту Королевского общества от 42 математиков — в том числе обладателей медалей Филдса Мартина Хайера, Петера Шоля и Вендилина Вернера — предупреждает, что у продвинутого ИИ существует реальный и срочный экзистенциальный риск. В письме отмечается быстрый прогресс (указывают, что модели OpenAI и Anthropic недавно решили открытые исследовательские задачи, включая одну из задач тысячелетия) и говорится, что аналогично быстрый рост возможностей может привести к сверхчеловеческим способностям в кибербезопасности, автономном вооружении, разработке биологических и химических агентов и целевой дезинформации.

7.0

RESEARCH · 1 ИСТОЧН. · MIT Technology Review AI

OpenAI заявила, что её агенты решили задачу из списка Millennium Prize, заявление омрачено скандалом

MIT Technology Review сообщает, что OpenAI объявила о том, что её ИИ-агенты решили одну из задач Millennium Prize, но это заявление быстро оказалось в тени обвинений и споров. Если это подтвердится, то это станет серьёзным достижением ИИ в формальной математике, однако детали и проверка остаются предметом споров.

9.0