English translation is being prepared.
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary
Matched fieldsTitle、Summary、Body

Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
OpenAI published the openai/math repository on GitHub, disclosing 722 mathematics manuscripts and 372 result groups in one go, all produced by an undisclosed internal model, covering results such as a quasi-Riemann hypothesis, reducing the exponent of matrix multiplication over the complex field to 2.25, and a four-dimensional version of the Kakeya conjecture. The authors state that each result cost on average about 3 hours of ChatGPT Pro-level compute, whereas the September attack on the Navier–Stokes equations deployed roughly 10,000 agents, ran for 88 hours, and cost millions of dollars. 25 Fields Medalists signed a joint letter titled "The Serious Misalignment of AI in Mathematics," criticizing AI companies for treating problem-solving as a marketing tool, and the advisory group of the Institute for Advanced Study in Princeton demanded that such practices stop.
OpenAI published the openai/math repository on GitHub, disclosing 722 mathematics manuscripts and 372 result groups in one go, all produced by an undisclosed internal model, covering results such as a quasi-Riemann hypothesis, reducing the exponent of matrix multiplication over the complex field to 2.25, and a four-dimensional version of the Kakeya conjecture. The authors state that each result cost on average about 3 hours of ChatGPT Pro-level compute, whereas the September attack on the Navier
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Li Xinyi, an associate professor at Peking University's Beijing International Center for Mathematical Research and a Class of 2007 mathematics alumnus, criticized OpenAI and Anthropic for using AI to "solve" difficult mathematical problems, arguing that such results are "solved but not understood at all," and that the accompanying publicity will scare off young people who want to study mathematics and mislead funding decisions. He revealed that a postdoc on his team's draft on an obscure conjecture highly overlapped with a cross-disciplinary paper generated by AI on arXiv, ultimately ending in co-authorship, and argued that academic credit should only go to those who contribute to understanding. He also noted that work in applied mathematics of the "combine A with B" type is more easily replaced by AI, while in fields such as geometry and topology that rely on spatial intuition, AI currently learns poorly.
Li Xinyi, an associate professor at Peking University's Beijing International Center for Mathematical Research and a Class of 2007 mathematics alumnus, criticized OpenAI and Anthropic for using AI to "solve" difficult mathematical problems, arguing that such results are "solved but not understood at all," and that the accompanying publicity will scare off young people who want to study mathematics and mislead funding decisions. He revealed that a postdoc on his team's draft on an obscure conject
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
In a podcast after OpenAI DevDay, Ari Weinstein, who is in charge of the Computer Use agent, responded to Dwarkesh's doubts about Computer Use progressing slowly, saying it is now completely different from a few months ago because the model has become better at debugging and retrying, and can write JavaScript to execute multiple steps at once while combining screenshots, accessibility, DOM, and Playwright. He also mentioned that Dots provides each Dot with a cloud Linux virtual computer, and that Computer Use has entered the Agents API. Nikunj Handa, head of the OpenAI API team, introduced updates to GPT-6 such as asynchronous tool calling, mid-turn steering, WebSockets, UltraFast inference, prompt caching and pre-warming, and compaction, and said the Decisions API is based on Luna weights, with no new model trained, and took only about a week from the emergence of the idea to a prototype.
In a podcast after OpenAI DevDay, Ari Weinstein, who is in charge of the Computer Use agent, responded to Dwarkesh's doubts about Computer Use progressing slowly, saying it is now completely different from a few months ago because the model has become better at debugging and retrying, and can write JavaScript to execute multiple steps at once while combining screenshots, accessibility, DOM, and Playwright. He also mentioned that Dots provides each Dot with a cloud Linux virtual computer, and tha
Matched fieldsTitle、Summary、Body
The Verge reports that OpenAI and Meta plan to use cute software agents in the coming year to pave the way for physical AI hardware. OpenAI unveiled its agent platform Dots at DevDay and is partnering with former Apple designer Jony Ive; public documents show the hardware could ship as early as February 2027. Meta, meanwhile, has tied its recently released Muse agent directly to a pendant-style device called Muse Charm, which it plans to launch before this year's holiday shopping season. Both companies hope to first get users accustomed to and dependent on agents, then guide them toward accepting physical forms.
The Verge reports that OpenAI and Meta plan to use cute software agents in the coming year to pave the way for physical AI hardware. OpenAI unveiled its agent platform Dots at DevDay and is partnering with former Apple designer Jony Ive; public documents show the hardware could ship as early as February 2027. Meta, meanwhile, has tied its recently released Muse agent directly to a pendant-style device called Muse Charm, which it plans to launch before this year's holiday shopping season. Both co
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body
Matched fieldsTitle、Summary、Body