Skip to contentSkip to stories

Updated

All AI news

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

Oct 7

Oct 7Wed
  1. Ethan MollickAI score60

    Mathematicians react to hundreds of AI-generated proofs released by OpenAI

    AIEthan Mollick shares early first-hand accounts from mathematicians grappling with hundreds of AI proofs released by OpenAI. He highlights problems solved in ways no human has yet understood, raising questions about what it means to know something. The linked Scott Aaronson post quotes a researcher, Dana, describing the proofs as unclear and hard to read without AI help, with some possibly verified by a Lean certificate.

    Image from @emollick's post
  2. IThome · AIAI score44

    Economist Acemoglu estimates AI will automate only about 5% of jobs within 10 years

    AINobel economist Daron Acemoglu estimates AI could technically automate about 20% of work, but adoption limits will cut actual automation to roughly 5% within 10 years. He said the figure is admittedly only an estimate, noting AI models excel in lab settings but underperform when enterprises deploy them in real environments. Microsoft AI CEO Mustafa Suleyman shared the forecast on X on October 6.

  3. ThariqAI score20

    Anthropic's Thariq says game dev content creation is booming

    AIThariq says this is an incredible time to be a game dev content creator because many people make games for fun and will pay for it. Background context from Tim Sweeney notes that Fab seller revenue rose significantly in September, as AI acceleration increased content demand and developers used AI assistants to build scenes with Fab assets.

  4. Ethan MollickAI score58

    Ethan Mollick Tries Intelligent UI in ChatGPT, Finds It Beats Text Walls

    AIEthan Mollick had early access to Intelligent UI and found it a welcome change from long blocks of text. He suggests interfaces will increasingly be built on demand for each user's problem. The quoted OpenAI post says GPT-6 and Intelligent UI are rolling out in ChatGPT for everyone, delivering fast, interactive answers with visual explanations and task tools.

  5. Miles BrundageAI score26

    Brundage argues insiders overestimate their impact versus outside AI work

    AIMiles Brundage argues that people can have impact from inside AI labs, but insiders tend to overestimate it. He says a "streetlight effect" leads people to focus on internal opportunities while overlooking the many more opportunities outside labs. This responds to Katja Grace's question about whether working in labs remains a high-impact option.

  6. MIT News · AIAI score10

    Concourse, MIT's first-year humanities learning community, uses great books to spark debate

    AIMIT's Concourse program, a first-year learning community founded in 1970, pairs 50 students each year with humanities, math, and science courses built around "great books" such as Plato, Homer, and Aristotle. Senior lecturer Linda Rabieh says the program uses debate and advising seminars to build judgment in non-quantitative areas. Lily Tsai was recently named director, succeeding Anne McCants.

  7. laurenAI score42

    Lauren Tan proposes "time to rewrite" as a heuristic for agent-readiness

    AILauren Tan (@poteto) proposes "time to (fully automated, hands-off) rewrite" (TTR) as a rough thought-experiment heuristic for how well a codebase is set up for agents. She suggests asking how long a single engineer would need to rewrite the code in another language, framework, or architecture, since the answer surfaces gaps like missing verification that agents can use to confirm user-visible behavior matches. The post also raises questions about whether a rewrite would improve, maintain, or regress performance and maintainability over time.

  8. Gergely OroszAI score31

    Samuel Newman on why LLMs aren't world models and lack causality

    AISam Newman argues the tech world misunderstands LLMs because they have no concept of causality, so "if I do A, B happens" reasoning is absent. He contends LLMs are not world models, unlike older world-model approaches that could in principle track cause and effect. He adds that people overestimate LLM capabilities because they seem smart, and that guardrails are unlikely to be the right long-term fix.

    Video from @GergelyOrosz's post
  9. Marcus on AIAI score62

    Marcus Says OpenAI's Math Result Lacks Details Needed to Judge Its Generality

    AIGary Marcus argues that OpenAI's math announcement omits the procedure, the model architecture, and the failure rate, so its generalizability cannot be assessed. He says it could be a step toward AGI or a Lean-based verification trick in a verifiable domain, and the initial report cannot distinguish the two. The post includes a quoted Terence Tao post that shares a satirical press release about a fictional film-endings repository.