Mastodon discussion Discussions 2d ago

oct 28 i posted that nobody outside openai had confirmed its "ETH is false" proofupdate: ETH's 1998 co-proposer calls it...

by Mohith kumar

oct 28 i posted that nobody outside openai had confirmed its "ETH is false" proofupdate: ETH's 1998 co-proposer calls it "very shocking news"openai's and anthropic's proofs both pass a lean check. 3 experts reviewingit only beats brute force past ~10^2,389 variables lolhttps://aiweekly.co/alerts/openais-ai-disproof-of-1998-eth-shocks-co-author-impagliazzo#Math #ComplexityTheory #AI #Lean

Read Original
Anthropic OpenAI

Metadata

Account
mohith808

Related

Mastodon discussion 3m ago

«Вайб-кодинг». Как создавать промышленное ПО с помощью ИИ, агентов и команд разработчиковВ первой польской энциклопедии ...

«Вайб-кодинг». Как создавать промышленное ПО с помощью ИИ, агентов и команд разработчиковВ первой польской энциклопедии 18 века статья про лошадь состояла из одной фразы: «Что тако...

9