Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Задачі Ердоса є явним прикладом того, як моделі перевищують певний поріг. Ідея, що штучний інтелект може вирішити одну, не кажучи вже про багатьох, самостійно, була б божевільною рік тому (o1 був абсолютно новим), а тепер ми маємо кілька проблем, вирішених GPT-5.2 Pro за останні кілька тижнів.
11 годин тому
Я вирішив другу проблему Erdos (#281), використавши лише GPT 5.2 Pro — попередніх рішень не знайшли.
Теренс Тао називає це «можливо, найоднозначнішим випадком» розв'язання відкритої проблеми ШІ:
Щоб було зрозуміло: GPT-5.2 Pro не вирішує ці питання автономно, його підказує людина, і часто він ітерує за допомогою Lean.
54
Найкращі
Рейтинг
Вибране