Skip to contentSkip to stories

Updated

All AI news

Showing low-relevance items too. Hide low-relevance items

Oct 7

Oct 7Wed

Oct 6

Oct 6Tue
  1. Miles BrundageAI score14

    Leap panel finds US strict liability for AI beats slowdown or authorization rules

    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.

  2. meng shaoAI score30

    MIT 6.S950 Lecture 4 Explores Programming's Abstraction Ladder in the AI Era

    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.

    Image from @shao__meng's post
  3. Lewis Tunstall @ COLM 🌉AI score25

    Beam leads open models in token efficiency, Chinese models lag

    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.

  4. Ethan MollickAI score22

    AI may re-judge all published science and speed novel discoveries

    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.

  5. Mike KnoopAI score40

    AI now automates conceptual search and verification for new science

    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.

  6. Nathan LambertAI score40

    OpenAI releases math results from an internal frontier model on GitHub

    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.

  7. 👩‍💻 Paige BaileyAI score20

    Paige Bailey shares a brief note on AI progress

    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.

  8. PlatformerAI score49

    Anthropic and OpenAI Leaders Weigh Hard Caps on AI Intelligence

    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.

  9. Dongxi NLPAI score22

    OpenAI releases Openai/math, suggesting verifiable problems are being solved

    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.

    Image from @dongxi_nlp's post
  10. will depueAI score12

    Will DePue asks where AI will be in five years

    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.

  11. will depueAI score62

    Will DePue's list claims AI resolved dozens of famous open math problems

    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.

    Image from @willdepue's post
  12. PrismaXAI score49

    Hand makers and Boston Dynamics steal the spotlight at IROS 2026

    AIAt IROS 2026 in Pittsburgh, at least 17 dexterous hand companies exhibited, 11 of them Chinese, with WUJI reportedly shipping 800 to 900 units a month. Boston Dynamics skipped a booth but released a video on the final day of a new four-finger, 13-degree-of-freedom Atlas hand, down from 7 DOF on its previous gripper. Hand makers are also selling capture gloves and data services, since labs need far more demonstrations than the hardware alone provides.