1nm News
hn

Gap in Mochizuki's proof of ABC confirmed by Lean

ogogmad · 14 points · 1 comments

这是一条来自 Hacker News 的热门内容:Gap in Mochizuki's proof of ABC confirmed by Lean。原文链接可查看完整细节与讨论。

技术圈正在关注。

查看原文 →

相关推荐

LLM-Integrated Multivariable Calculus Course
hn · 02:55 07-19

FDA approves new kind of cholesterol pill
hn · 02:40 07-19

I built a browser-based P2P file transfer tool using WebRTC
hn · 02:17 07-19

Deepsec
hn · 01:33 07-19

AI Mania Is Eviscerating Global Decision-Making
hn · 01:29 07-19

Better and Cheaper Than IPTV
hn · 00:59 07-19