🧠 GPT-5.2 решает задачи Эрдёша
Легендарный математик Пол Эрдёш оставил после себя сотни «открытых проблем» — сложнейших задач, за решение которых он обещал денежные призы. Многие из них оставались неподвластны людям десятилетиями, но теперь за дело взялась GPT-5.2 Pro.
— Модель сгенерировала корректные доказательства для задач №728, №729 и №397 (теория чисел).
— Все решения прошли строгую верификацию через систему Aristotle на языке Lean — компьютер подтвердил их 100% точность.
— Результаты официально принял Теренс Тао (обладатель Филдсовской премии), назвав это реальным переходом ИИ к созданию нового знания.
— Модель не просто вспомнила решение, а оригинально скомбинировала известные методы там, где люди заходили в тупик.
Добавить комментарий