Reaction
The scale of fully formalizing core mathematics
A user argues the effort would not be a months-long project and would require a large team.
TLDR
A user quotes “full formalization of core mathematics,” then argues it would be a large project rather than a months-long effort. They say it would require assembling a large team and doubt OpenAI’s theoretical computer science staff are equipped to handle it, though they would like to be proved wrong.
Combined views
—
1 Source, first seen ago
