Skip to contentSkip to stories

Updated

#Trend

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

Oct 7

Oct 7Wed

Oct 6

Oct 6Tue
  1. 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
  2. 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.

  3. Greg BrockmanAI score44

    OpenAI releases new mathematical results from an internal frontier model

    AIOpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, developed with advice from the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence. The results are published at The main post frames the release as aimed at accelerating scientific discovery and improving quality of life for everyone.

  4. 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.

  5. 👩‍💻 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.

  6. 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.

  7. 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.

  8. 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
  9. 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.