OpenAI Reports AI-Assisted Results in Math, Computer Science and Physics

·1 views

OpenAI has announced three discoveries assisted by its AI systems, spanning mathematics, computer science and physics. The mathematics result is a harmonic-analysis proof that the company says resolves the Kakeya and Stein's restriction conjectures, produced in October 2026 and formalized in Lean the next day. In computer science, OpenAI claims a result showing the Exponential Time Hypothesis is false, with a group led by complexity theorists Impagliazzo, Paturi and Williams overseeing verification and dissemination. The physics work is a rigorous existence proof for certain four-dimensional quantum field theories, developed with external collaborators and released with Lean formalization. OpenAI stresses that each result comes with public materials and external review, though the lasting acceptance of these findings will depend on continued expert scrutiny.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

DeadCode Whisperer: A Locally Run AI Persona Channels the Spirit of ALGOL

A developer built an offline AI project called The DeadCode Whisperer for a Hacktoberfest challenge themed around the 'Ghost in the Machine.' The assistant adopts a restless, archaic persona that mourns lost structural programming ideas and sees modern languages as chaotic. It runs entirely on the developer's own machine using Ollama and open-weight models, so it needs no cloud service and keeps user queries local. The developer argues that open-weight models avoid the risks of closed APIs, such as deprecation and shutdowns. The project's code is publicly available on GitHub.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Why Dynamic QR Codes Break and How Developers Can Diagnose the Failure

A developer who built a QR code generator explains why printed codes often appear to expire when the real fault lies elsewhere. A QR code encodes a payload, and dynamic codes hold a short-link pointer that adds a redirect hop the printer does not control. Diagnosis starts by reading the scanned URL and checking whether the short link or the final destination has failed. The article includes a JavaScript snippet that traces redirect hops and explains what different outcomes, such as a 404, a parking page, or a loop, indicate. It notes that browser-based tracing may be blocked by CORS, in which case developers can use the Network tab or curl instead.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Five-Tool Pipeline Used to Model a 64-Acre Closed Pennsylvania Mall Site

A planner spent seven weeks building a planning-level model of a 64-acre shuttered mall in Pennsylvania using five software tools. The team relied on a 1998 survey, which had to be converted into an existing-ground surface and checked against a 2021 aerial image, with flat areas matching within 0.1 foot. Block-scheme software initially reported 610 units, but roughly 80 of those fell inside the 100-year floodplain and had to be excluded. Problems included block IDs renumbering after edits and the need to generate terrain and buildings for an unsurveyed 12-acre parcel using AI. The author concluded that early exclusion polygons and a frozen street layout would have saved time, while consistent coordinate setup kept the tools aligned.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Ghostlight: an offline, browser-based tool for writing remembrances of the dead

Ghostlight is a remembrance studio that runs entirely in the user's browser, turning answers to six questions about a loved one into a written portrait, a Día de Muertos-style virtual altar, and a self-contained HTML keepsake. Its text is generated by an open-weight Gemma 2 model via WebGPU, or users can opt for a candle mode that arranges their own sentences without any model. The archive is stored locally in IndexedDB, with no backend, accounts, analytics, or cloud inference, so no data is uploaded. The project's creator frames the stored memories, rather than the model, as the true archive, keeping them portable if the model changes. The demo archive shown in the project is fictional and was written by the creator.

0 comments Read more at DEV Community