Story
OpenAI withdraws three mathematical results
1 report
1 website
1 discussion
Latest report
Overview
Dan Roberts on X: "We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. https://t.co/HI6otY2NTO" We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The re...
Summary from twitter.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · twitter.com
Hacker News discussion ↗
Historical count: 12 · 12 saved in sample · Historical sample
Awaiting analysis