All AI news

AIJake Boggan, a Hacker News commenter, reacted to reports that Barnette's Conjecture, a graph theory problem he spent years studying, has been proven, as listed in openai/math problem 180. He said he had spent thousands of hours on the problem and had briefly believed he solved it last summer. He described the news as bittersweet.

AIOpenAI CEO Sam Altman thanked the many people who did the technical work over generations that made the current advances possible. The post gives no specific model, product, or figure.

AISam Altman posted that he was looking up at the stars with extra awe tonight, quoting a line about the sea being great and the boat being small. The post contains no product, model, or company announcement.

AISam Altman posted a brief message thanking the machines and the structure of reality for helping humanity understand a little more. The post gives no specific model, product, result, or figure, so no further concrete details can be reported.

AIJerry Liu says that, these days, you can literally do anything just by asking for it. The post is a short, informal remark with no specific product, model, or figures mentioned.

AIAmjad Masad says AI-powered reverse engineering and decompilation are progressing rapidly, and predicts that soon all software will be de facto open-source. He frames this as part of AI's broader reach into everything.

AIMiles Brundage posted that he is observing what his agent is doing on Delve.town. The post provides no further details about the agent, its tasks, or the platform's features.

AIMiles Brundage called the result a "Weild" finding, referring to Gabriel Weil's work, and it appears to match a Forecasting Research Institute Leap panel's conclusion. According to Weil's quoted post, the panelists judged a US-only strict liability regime for AI to outperform a US-only slowdown or pre-release authorization regime, and to be competitive with globally coordinated versions of those policies.

AIYuchen Jin notes that in 2024 GPT-4o famously got "Is 9.9 > 9.11?" wrong, while AI now appears poised to solve the hardest math problems. He describes the pace of progress as a wild time to be living through.

AIOpenAI says it is releasing a broad range of new mathematical results produced by an internal frontier model. The company says it consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study on how to release them. The results are linked from a GitHub repository at

AILewis Tunstall says candidate theories for unifying physics already exist, so the real challenge is experimentally discriminating among them. He considers an AI-driven breakthrough in fundamental physics extremely unlikely, though he would welcome being proven wrong.

AIAndrew Curran argues that the approach generalizes to everything and continues to scale. The post builds on Christian Szegedy's claim that mathematical reasoning will transfer to other complex, reasoning-heavy domains, filling data gaps with high sample efficiency.

AIMIT's 6.S950 "Agency with AI" course has released Lecture 4, "The Abstraction Ladder (of Programming)," which compares today's prompt-driven coding with the 1957 FORTRAN paper by Backus et al. The lecture argues that the objections to vibe coding echo the arguments once raised against compilers, but natural-language "compilation" differs because the same prompt can yield different programs each time, unlike deterministic translation.

AIJoshua Achiam posted that humanity is approaching the end of ignorance if it chooses to pursue that goal. The post is a brief, forward-looking remark that responds to a question about whether a unified field theory or quantum gravity might arrive within 12 months.

AILewis Tunstall says Chinese open models are strong but token-inefficient, citing a plot from the Beam release at IMO. The background post from @reflection_ai says Beam is 3-4x more efficient than GLM 5.2 and over 4x more efficient than leading Western open models in inference. He hopes future open models will compete on this efficiency axis.

AIJoshua Achiam praised Alexander Berger for seeing and responding to events like a normal human being. The post is a brief compliment, and its context is a reply noting that effective altruism's most famous proponent ended up in prison for fraud.

AIEthan Mollick argues that AI is likely to bring two revolutions after a brief period of low-quality "slop" science that eroded institutions. The first is that all previously published work will be re-read and re-judged in ways human scientists never anticipated. The second is that novel discoveries will start arriving quickly.

AIswyx asks readers what coding agent they currently use as their default workhorse in October 2026. The post is a brief question with no further detail on tools, models, or results.

AIMike Knoop argues AI can now automate conceptual search, transformation, and verification toward new science. He says AI can tell whether an open problem needs new ideas or whether the answer is already latent in existing knowledge. He calls this the most significant change in the philosophy of science since writing was invented about 6,000 years ago.

AIOpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, with the repository hosted at The release was prepared with advice from the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. The main post itself only comments on the humor of the repository's name.

AIA breakdown of OpenAI's released internal-model math results shows about 73 disproofs and counterexamples, roughly 20% of the total. The author argues this counters claims that recent math breakthroughs are concentrated in counterexamples because models are only good at brute-force search.

AIPaige Bailey's post says only "slowly, slowly, then all at once," with no model names, figures, or specific claims. It quotes Will DePue, who says he asked GPT 6 Pro and Fable 5.1 to rank discoveries from the last three years and reports that 81% of them were released today.

AIroon argues people should not be passive spectators at a magic show of machine intelligence, but should engage with AI outputs to satisfy their own curiosity. The post stresses that this is all real and meant to be understood by humans.

AIWill Depue, an OpenAI-affiliated account, says he is surprised that AI lab math results have so far contained no profound errors or real bugs, which he notes is unlike typical human work. He expects at least a couple of today's results will not survive scrutiny.

AIWill Depue, an OpenAI-affiliated account, warns that people have only two years to escape the "citation underclass." He points readers to citedbyagi.com, a site he built, with a leaderboard of citations from OpenAI's /math release.

AIFrançois Chollet asks whether the jagged frontier of AI capability is mainly math and code, which can be pushed far with RLVR. He questions whether steady gains in non-verifiable areas come from higher generalization driven by RLVR or only from continued injection of new human data.

AIOpenAI has published a post on sharing its AI progress in mathematics, which Sam Altman says marks the start of a new era of discovery. The post text provides no further details on specific results, models, or benchmarks.

AISpeakers at The Curve, a Berkeley AI conference, discussed limiting how intelligent large language models can become, amid concerns over recursive self-improvement. Proposed approaches include Anthropic's responsible scaling policy, limits on compute and model copies, and restrictions on using frontier models for AI research. The column notes such enforcement tools do not yet exist and that the Trump administration opposes such restrictions.

AIOpenAI cut Luna prices by more than 80% to win share, while frontier models' share of tokens slipped from 53% in August into the mid-40s as buyers shifted to cheaper tiers. The author argues that in this commoditizing market, value accrues to platforms that control distribution and aggregate usage rather than to labs with marginal benchmark leads.

AIKevin Weil, OpenAI's account owner, called today's OpenAI release an incredible step for AI in mathematics. He said models of similar caliber are still needed in the physical sciences, and that he expects to get there.

AIAlexander Doria says that after Deep Blue, humans are effectively chess players now, likening their position to that of machines in chess. The post quotes a reply that questions how a claimed sub-quadratic algorithm running in n^1.9992 time could exist, despite any proof.

AIOpenAI has published a repository called Openai/math, which the author reads as a sign that math problems, or any verifiable problems, are being solved. The author says OpenAI's tools exhausted their Pro token allowance on subagent tests unrelated to their main task, concluding that the work was aimed at verification for its own sake.

AIOpenAI-affiliated researcher Will DePue asked where AI will stand five years from now, without offering a specific prediction. The post was a brief prompt, and the quoted context notes that OpenAI released its grade school math dataset five years ago, a benchmark that AI systems then struggled with.

AIThomas Wolf's post is a short, playful reply: "how do you like them convolutions," apparently referencing Ben Affleck's comments on convolutional neural networks. The quoted context reports Affleck describing his Python scripting, understanding of CNNs and tensors, GPU work, and private looks at Google and OpenAI's video models.

AIEthan Mollick sarcastically says AI commentators routinely claim deep number theory expertise when opining on the latest math breakthroughs. The post offers no specific breakthrough, model, or figure, so its point is a skeptical observation about AI-community commentary.

AIRoon notes that in 2023 GPT-4 was confused by elementary school story problems, a limitation younger users may not remember. The post offers a brief reminder of how quickly model capabilities have advanced since then.

AIJoshua Achiam recommends a deep, carefully considered piece on some of the thorniest problems of our time, regardless of whether readers agree with its prescription. The quoted post, from @satpugnet, presents Phase Lock, a six-month manifesto on how brain-computer interfaces could help align AI and preserve human agency.

AIA post by Will DePue titled "Fable 5.1's list" presents 100 mathematical results and says 59% were released today, 87% AI and 13% human. The list includes items attributed to OpenAI, Anthropic, Google DeepMind and human mathematicians, each marked by a colored indicator, and it describes many entries as formalized in Lean or as openai/math family numbers. The post supplies no independent verification of these claims.

AIWill Depue, an OpenAI account, asked GPT 6 Pro and Fable 5.1 to rank all discoveries from the last three years. He color-coded them by origin: human, AI before October 6, and AI from OpenAI's math repo. He said 81% of the listed discoveries were released today.

AIReflection CEO Misha Laskin argues that closed AI models are like renting an apartment, while open models let users own intelligence as AI adoption grows. He says the only way to own intelligence is if it is open. Reflection is preparing to release Beam, its first open-weight model, in a podcast discussion with its co-founders.