OpenAI bulk release of mathematical papers

Worth a look when you cover this topic.

Impact 53.6 · Consider · Confidence 100

Replace “have solved a large number of open and unsolved major mathematical problems The release was preceded by the Navier Stokes priority controversy in which” with “have solved a large number of open and unsolved major mathematical problems via a GitHub repository These included partial results on the Riemann hypothesis Birch and Swinnerton Dyer conjecture and Hodge conjecture The release was preceded by the Navier Stokes priority controversy in which”. Replace “which computationally verifies proofs OpenAI stated that unformalized results could contain errors” with “which computationally verifies proofs OpenAI stated that unformalized results could contain errors Some of the formalizations prove weaker results than those claimed in the papers”. Replace “of Siegel zero s leading to several results in analytic number theory A proof of the unique games conjecture in computational complexity theory was posted accompanied by a formalization in Lean Partial result on the Birch and Swinnerton Dyer conjecture elliptic curves over” with “of Siegel zero s leading to several results in analytic number theory Partial result on the Birch and Swinnerton Dyer conjecture elliptic curves over”. Replace “any claims about one shotting problems with a single agent as unverified” with “any claims about one shotting problems with a single agent as unverified Mathematicians have also criticized the quality of the preprints with one of them being described as so unintelligible that it would have gone straight into the bin if it were submitted to a journal Dana Moshkovitz an expert on the unique games conjecture described the OpenAI preprint on it as so horribly written that it’s impossible to read it without AI help”.

Read the article on Wikipedia. Text excerpts from Wikipedia are licensed under CC BY-SA 4.0.