Hacker News — vinext + Cloudflare Workers

new
past
show
ask
show
jobs
submit

▲Formalization of the Solution to the Hopf Problem (github.com)

11 points by robinhouston 4 days ago | 3 comments

bamb008 10 minutes ago [-]

An exposition of the Alpöge-Claude construction, by a mathematician working in this area: https://philip-engel.github.io/S6.pdf

VMG 17 minutes ago [-]

`solution.lean` is a 12mb file

I looks like we are breezing past the point where unassisted humans can understand any of this

QuesnayJr 50 minutes ago [-]

I was thinking about trying this exact problem with AI. I missed that it had already been solved. It's not that surprising that someone else already tried it. What's surprising is that open problems get solved so quickly now that it's impossible to keep up with them all.

Rendered at 10:56:53 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.