Теренс Тао и использование нейросетей в математике
Х@habr_comмедиа / агрегатор
1 мес
Слухи о решении задач тысячелетия моделью OpenAI
F@FuturisAI-инженер
1 месПо Х разлетается новость, что оказывается OpenAI пытаются решить ВСЕ задачи тысячелетия своей новой внутренней супермоделью (AGI), в том числе p=np, ну удачи чё, думаю если решение и есть, то только на квантовых вычислениях💎
Но интересно, чем ещё удивят
Слухи: OpenAI и Anthropic вплотную подошли к решению ещё двух задач тысячелетия
В соцсетях и Telegram-каналах распространились слухи, что OpenAI близка к доказательству гипотезы Ходжа, а гипотезу Бёрча — Свиннертона-Дайера решила либо OpenAI, либо Anthropic. Обе задачи входят в список Millennium Prize Problemsi Института Клэя, десятилетиями остававшийся без подвижек.
Подтверждений пока нет: на сайте Clay Institute гипотеза Ходжаi отмечена как нерешённая, публичного доказательства никто не показал. Тем не менее New York Times получила от OpenAI комментарий о «существенном прогрессе» по ещё одной задаче тысячелетия, что подогрело слухи и разговоры о приближении к AGI и гонке лабораторий перед IPO.
$1 млнпремия за каждую задачу тысячелетия
6открытых задач тысячелетия до этих слухов
2задачи, которые предположительно решены OpenAI/Anthropic
Слухи о возможном решении Гипотезы Ходжа
e@cryptoEssayAI-инженер
1 месНовый день, и, кажется, новая проблема тысячелетия решена. На этот раз Гипотеза Ходжа. Официального подтверждения нет, но слухов много.
Напомню, что их всего было 7, из них одну решил Перельман, вторую решили в понедельник и чем нас будет радовать сингулярность когда они закончатся — неясно.
Математик Андреас Том обвинил OpenAI в использовании его неопубликованных идей моделью Astra
На фоне скандала с Тристаном Бакмастером и Левентом Альпеге всплыла ещё одна похожая история: немецкий математик Андреас Том заявил, что ключевой технический шаг в доказательстве OpenAI по несофическим группам напрямую опирался на идеи, которые он и его коллега Габор Кун обсуждали в чатах с ChatGPT на протяжении нескольких месяцев.
В начале августа OpenAI объявила, что их модель Astrai решила 10 открытых математических задач, включая построение первой несофической группы — один из самых мощных результатов того анонса. Том подозревает, что модель получила доступ к его неопубликованным наработкам, хотя OpenAI официально это отрицает.
10открытых математических задач, решённых Astra
2016год начала исследований Тома и Куна
Внутренняя модель OpenAI решила несколько открытых математических задач Эрдёша, включая гипотезу возрастом 80 лет
В 2026 году в математических статьях начали появляться формулировки о том, что доказательство «полностью принадлежит внутренней модели OpenAI». Сотрудники OpenAI — математики и физики компании — пережили то, что Ноам Браун (Noam Brown) назвал «моментом Ли Седоля»: они увидели, как модель за минуты решает открытые задачи, над которыми они безуспешно бились годами.
Самый громкий случай — контрпример к гипотезе Эрдёша о unit distancesi, открытой около 80 лет, который позже подтвердили внешние математики. Джерри Тврек (Jerry Tworek) назвал это «жемчужиной в короне трансформеров, предобучения, RL и масштабирования вычислений во время инференсiа», подчёркивая, что такие системы всё сильнее будут определять темп научного прогресса.
80 летвозраст гипотезы Эрдёша о unit distances
3задачи Эрдёша, решённые в статье от 31 марта
5доказательств в апрельской работе
Рекомендация канала «Зачем мне эта математика?»
Б@boris_againAI-инженер
1 месПрогноз темпов прогресса ИИ в науке и математике
ч@chelovek_naukисследователь
1 месЕщё раз оцените скорость прогресса:
- Июль 2025 – ИИ берёт золотые медали в международной математической олимпиаде
- Осень 2025 – ИИ помогает в решении небольших научных задач
- Май 2026 – ИИ решает сложную открытую научную задачу
- Сентябрь 2026 – ИИ помогает в решении задачи тысячелетия
Чуть больше года от уровня сильнейших школьников до передового края науки
Бесплатная книга 151 Trading Strategies: количественный трейдинг
M@machinelearning_interviewAI-инженер
1 мес