A guest post by physicist Rikab Gambhir, published on a blog, criticizes a trend of AI labs like OpenAI releasing huge volumes of machine-generated mathematical or scientific claims, comparing the practice to Borges's fictional 'Library of Babel' that contains every possible text, true or false. The post argues these outputs are often unverifiable or low-value despite being marketed as scientific breakthroughs, referencing an October release from OpenAI of around 700 claimed mathematical results.
terrytao.wordpress.com
· 2026-10-15
Proofs and Prompts has compiled a running thread of mathematician reactions to OpenAI's 6 October announcement that its models produced solutions to over 100 research-level math problems, including one described as resembling a Quasi-Riemann result. Contributors like Tim Santens and Roman Sauer describe being stunned that the models applied known but obscure techniques across very different problems, and the site says it will keep collecting reactions for another week.
proofsandprompts.com
· 2026-10-09
A two-year study across 18 Tennessee middle schools tested Khan Academy's AI tutor, Khanmigo, during math remedial sessions. Students who used the AI tutor experienced a slight improvement in math achievement, roughly equivalent to traditional practice, but engagement levels were low, with many students rarely interacting with the AI. The findings suggest that increasing student engagement with AI tutoring tools is crucial for realizing their full potential.
edworkingpapers.com
· 2026-10-06
GoKawiil