{"id":20961,"date":"2026-10-10T12:02:51","date_gmt":"2026-10-10T12:02:51","guid":{"rendered":"https:\/\/news.theck1.no\/?p=20961"},"modified":"2026-10-10T12:02:51","modified_gmt":"2026-10-10T12:02:51","slug":"pure-insanity-mathematicians-will-need-years-to-make-sense-of-openais-latest-drop","status":"publish","type":"post","link":"https:\/\/news.theck1.no\/?p=20961","title":{"rendered":"‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop"},"content":{"rendered":"

AI-rewritten:<\/strong> This is a summary of an article from The Verge, rewritten by AI (Qwen, running locally) to make it easier to read. The facts come from the original article – read it for the full story.<\/p>\n

The Verge • Robert Hart • October 9, 2026<\/strong><\/div>\n\n

More than three dozen mathematicians described OpenAI’s recent release as "pure insanity" and "overwhelming." The company abruptly published nearly 400 AI-generated results spread across over 700 manuscripts. These papers cover diverse fields including combinatorics, geometry, number theory, and mathematical physics. Because the volume is so vast, researchers agreed that simply understanding what was released could take years. Many feared OpenAI would move on to new projects before the field had time to process this deluge.<\/p>\n

<\/p>\n

The sheer scale of the work made preliminary assessment difficult for experts. Several mathematicians spent an hour just reviewing the table of contents and abstracts. While some results include formalizations in Lean, a programming language used to verify proofs computationally, the degree of verification varied wildly. OpenAI stated that fewer than half the manuscripts had been formally described, with only about 42 percent fully formalized out of 719 total papers. Researchers noted that even when code is provided, checking if it actually proves the claim remains a time-consuming process.<\/p>\n

Experts expressed deep concern about "slop," a term for low-quality, frequently erroneous AI-generated material. Kevin Buzzard, a professor at Imperial College London, found that few of his relevant theorems appeared to be formally verified. He noted that researchers must either read potentially incorrect work or wait for others to verify it before confirming accuracy. While early impressions suggested some care was taken this time compared to previous releases, the lack of formal verification for many claims remains a significant hurdle for validating the results.<\/p>\n

\n

Source:<\/strong> The Verge • Robert Hart • October 9, 2026<\/p>\n

Read the original article at The Verge →<\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

AI-rewritten: This is a summary of an article from The Verge, rewritten by AI (Qwen, running locally) to make it easier to read. The facts come from the original article – read it for the full story. The Verge • Robert Hart • October 9, 2026 More than three dozen mathematicians described OpenAI’s recent release<\/p>\n

READ MORE<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-20961","post","type-post","status-publish","format-standard","hentry","category-artificial-intelligence"],"_links":{"self":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts\/20961","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20961"}],"version-history":[{"count":0,"href":"https:\/\/news.theck1.no\/index.php?rest_route=\/wp\/v2\/posts\/20961\/revisions"}],"wp:attachment":[{"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20961"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=20961"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/news.theck1.no\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=20961"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}