#Expert opinion

AIAllie K. Miller argues that users rarely give their AI systems long-term North Star goals, distinct from task-specific instructions. She says that if AI is to act as a proactive support system, it should be steered toward the user's larger aspirations, such as owning a dog within a year.

AIThe post argues that companies are increasingly recognizing business opportunities from reinforcement learning, since many real-world tasks need specialized models, harnesses, and data flywheels rather than AGI. It predicts a new post-training era led by full-stack AI companies, though it provides no concrete figures or raw data to support the claim.

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.

AIA startup's founders report that a single engineer built polished, reliable web, desktop, iOS, and Android apps in six months using AI. The post argues AI is turning 10x engineers into 100x engineers, a capability it says was not possible last year.

AIInvestor Elad Gil posted a YouTube video link with the caption "current state of private markets," offering a brief look at the sector. The post gives no further details on specific figures, companies, or conclusions.

AIDeedy argues LLMs have made substantial progress on four of the seven Millennium Prize problems, including a claimed Navier-Stokes result, conditional on verification. He says OpenAI's results averaged only 3 hours of thinking compute on unreleased models. He concludes that by most definitions of AGI, we have already achieved it.

AIIMF Managing Director Kristalina Georgieva urges nations to act urgently on regulating AI and curbing debt, ahead of IMF-World Bank meetings in Bangkok. The source provides no further details on specific measures or figures.

AIIMF Managing Director Kristalina Georgieva urges nations to act urgently on regulating AI and curbing debt, ahead of IMF-World Bank meetings in Bangkok. The source provides no further details on specific measures or figures.

AIIMF Managing Director Kristalina Georgieva called on nations to urgently address AI regulation and debt curbing ahead of the IMF-World Bank meetings in Bangkok. The source provides no further detail on specific measures or timelines.

AIDex Horthy (@dexhorthy) shared a recording of his talk "state of the software factory," delivered at the Agentic AI Foundation event in Amsterdam last week. The post links to the video and urges viewers not to be the last to watch it.

AIJason Liu was embarrassed when a demo of Dots turned into a request for his week's tasks, and it returned a plan to book 10 plane tickets over 50 days and rent three cars. He said he had asked it for his travel schedule and call times across two production shoots and two talks in four cities.

AIMichael Lynch warns software bloggers against meandering intros, misjudging reader knowledge, assuming readers have read earlier posts, excessive formality, and overreliance on links instead of explaining terminology. He advises that an article should still make sense even if readers click no links. Simon Willison endorses the advice and argues that writing in one's own voice matters as more developers delegate writing to AI.

AIAravind Srinivas posted that "we're living in incredible times," highlighting a fully computer-made animated scene produced from concept art to final edit. The quoted post says the scene was planned in Blender, with reference images generated by Nano Banana and animation and score produced by Seedance 2.5.

AISantiago argues prompt engineering was never a real discipline and will vanish as models improve. He predicts future models will understand natural communication, so the skill will simply become communication skills.

AIJim Fan argues that humanity will likely solve the Riemann hypothesis before robots pass the Physical Turing Test, where a person cannot tell whether a human or robot cleaned a home after a party. He suggests people underestimate Moravec's paradox, the principle that physical tasks humans find easy are hard for machines.

AIOpenAI has released a document with over 300 math solutions, many of potentially historic importance, at varying stages of verification. The author argues that the results leave human mathematicians as spectators, with AI now doing the discovery work.

AIOpenAI released 722 mathematical manuscripts in 372 families, produced by an unreleased frontier model, with the average result taking the equivalent of three hours of ChatGPT Pro thinking. The author notes many results are verified in Lean but not all, and suggests mathematics could divide into vast machine-verified work and a compressed human 'effective theory' that people can actually understand.

AIPaige Bailey agrees with calls for a Christian METR, and suggests creating nonprofits that evaluate models for values or philosophical alignment. She notes existing benchmarks such as Gloo's flourishing AI initiative, VirtueBench, and FaithGPT.

AIGergely Orosz argues that cloud deployment will increasingly host AI agents, but that does not solve their risky handling of sensitive data. He notes agents are nondeterministic, so guaranteeing something will not happen requires a deterministic system.

AICognition CISO and former Facebook security chief Alex Stamos criticized "nihilism" in Silicon Valley and argued that some AI risks are real while others are shaped by "almost religious beliefs" held by people at AI companies. He said AI systems "are not conscious, they do not have souls," and that he plans to "work the problem" to help shorten the expected "dark age" of cybersecurity.

AISantiago reflects that prompt engineering once seemed poised to become a profitable career. The post is short and adds no further detail, so the summary stays brief. The quoted @bcherny post adds the main context: prompting Claude should resemble talking to a coworker, and it matters most to state the goal, effort level, and verification method.

AIElad Gil posted a brief reaction to the moment, without details. The quoted OpenAI post says the company is releasing a range of new mathematical results produced by an internal frontier model, reviewed with the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence.

AICEOs are delegating AI decisions before fully understanding the technology, according to Fast Company's AI coverage. The article says a chief executive does not need to be a tech expert but does need to understand where AI can create value.

AICEOs are delegating AI decisions before fully understanding the technology, according to Fast Company's AI coverage. The article says a chief executive does not need to be a tech expert but does need to understand where AI can create value.

AICEOs are delegating AI decisions before fully understanding the technology, according to Fast Company's AI coverage. The article says a chief executive does not need to be a tech expert but does need to understand where AI can create value.

AIReflection AI announced Beam, a model trained end-to-end from scratch that appears to advance the Western open frontier on coding and agentic tasks. Mistral then released Mistral Large 4, a 1 trillion-parameter natively multimodal model with 49 billion active parameters, though the piece says neither model yet matches leading Chinese open-weight models.

AIThe main post says the platform is starting to compete for the personal-agent entry point, with a hard fight expected. The quoted post claims Grok bot will use the best model for each task, drawing on Grok 4.7 or 4.6 and external services such as Opus 5.5, Midjourney, and Suno to build content or execute tasks.

AIThe newsletter argues that AI competition is shifting toward completed workflows, citing OpenAI's September 29 DevDay announcements on cost and infrastructure and Google's September 30 introduction of Gemini 4 Argon for longer, more demanding reasoning tasks. It says coding agents must inspect repositories, edit code, run tests, and deliver reviewable work, so cost, context, and supervision matter alongside model intelligence.

AIOpenAI announced hundreds of mathematical breakthroughs, weeks after claiming it had solved one of the most complicated problems in mathematics. The findings raised questions about whether the model used creative thinking or only completed the final steps of human work. Experts say AI could be revolutionary for mathematics if it provides proofs, since proof techniques often underpin other breakthroughs.