OpenAI released 372 results from an unreleased large language model that each resolve or substantially advance a major open problem in mathematics or theoretical computer science, publishing them in a…
OpenAI employees expect the company to soon crack the Hodge Conjecture, one of the seven Millennium Prize Problems carrying a $1 million reward, The Information reported Thursday citing a single sourc…
A developer has re-published Douglas Hofstadter's 1983 Scientific American introduction to Lisp, originally part of his Metamagical Themas column, for a new generation of programmers. The piece explai…
NYU mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge released papers on Monday claiming new results on the Navier-Stokes equations, a problem tied to a $1 million Clay Mathem…
OpenAI's claims of novelty for its Astra model and related security incidents are contradicted by prior work, according to an analysis by Flying Penguin. The company described a Hugging Face breach as…
A new phenomenon called 'vibe lawyering'—using generative AI for legal tasks with minimal independent verification—is gaining traction despite recent incidents of fabricated case citations, according …
Large language models have advanced to the point where they can solve open mathematical problems, generate accurate QR codes, and handle real-time customer service calls, according to a compilation of…
Nobel Prize-winning chemist Omar Yaghi has left the United States to lead a new artificial-intelligence-assisted materials discovery institute at Tsinghua University in Beijing, China, citing cuts to …
Anthropic warns that recursive self-improvement (RSI) in AI could arrive sooner than institutions are prepared for, as models like Claude now write over 80% of code merged into Anthropic's systems. Th…
OpenAI has expanded ChatGPT's memory to build a profile from past chats, including entire chat history and implicit preferences, but old or irrelevant details can distort future AI answers. The featur…
On 2 June 2026, a group of researchers published the Leiden Declaration on Artificial Intelligence and Mathematics, an 11-page statement outlining concerns about AI-generated proofs, attribution, and …
OpenAI announced that an internal AI model produced a proof resolving the planar unit distance problem, a geometry conjecture posed by mathematician Paul Erdős in 1946. Mathematicians including Timoth…
Point Loma High School English teacher Jen Roberts is using AI tools including Brisk Boost and MagicSchool to provide students with faster, iterative feedback on reading and writing assignments. Nearl…
A Swedish researcher created a fake disease called "bixonimania" to demonstrate how AI chatbots can spread false medical information. The fabricated condition, which claimed to cause sore eyes from sc…
OpenAI announced on May 20 that an internal general-purpose reasoning model produced a proof disproving Paul Erdos's planar unit distance conjecture, a problem first posed in 1946. External mathematic…
OpenAI announced on May 20 that an internal general-purpose reasoning model disproved the planar unit distance problem, a conjecture posed by mathematician Paul Erdős in 1946, by producing an infinite…
An unnamed internal OpenAI model disproved an 80-year-old geometry conjecture by mathematician Paul Erdős, marking the first verifiably new and non-trivial mathematical contribution autonomously produ…