Populární témata
#
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.
Erdosovy problémy jsou jasným příkladem toho, kdy modely překračují určitý próg. Představa, že AI by mohla vyřešit nějaký problém, natož mnoho dalších, by byla před rokem šílená (o1 byl úplně nový), a teď máme několik Erdos problémů vyřešených GPT-5.2 Pro za posledních pár týdnů.
Před 12 h
Vyřešil jsem druhý problém s Erdosem (#281) pouze pomocí GPT 5.2 Pro – žádná předchozí řešení nebyla nalezena.
Terence Tao to nazývá "možná nejjednoznačnějším příkladem" řešení otevřeného problému AI:
Aby bylo jasno: GPT-5.2 Pro tyto problémy neřeší autonomně, je vyzván osobou a často iteruje pomocí Lean.
63
Top
Hodnocení
Oblíbené