English translation is being prepared.
Matched fieldsSummary、Body
←Search results
Search “arXiv”
English translation is being prepared.
Matched fieldsBody
Li Xinyi, a PKU Class of 2007 mathematics alumnus, criticized OpenAI and Anthropic for harming the mathematics community by using AI to solve problems
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.
ematics 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, A
Matched fieldsSummary、Body
Li Xinyi criticizes OpenAI and Anthropic for harming the mathematics community by using AI to solve problems
On October 3, 2026, Li Xinyi, associate professor at the Beijing International Center for Mathematical Research at Peking University and an alumnus of Peking University's Mathematics Department (Class of 2007), publicly criticized OpenAI and Anthropic for using AI to "solve" difficult mathematical problems. He believes 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. Li Xinyi also 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 joint authorship; he maintains that academic credit should only go to those who contribute to understanding. In addition, he pointed out that work in applied mathematics of the "combining A with B" type is more easily replaced by AI, whereas in fields such as geometry and topology that rely on spatial intuition, AI currently does not learn well. At present, this criticism was reported by Huxiu, and no other sources have cross-verified it.
mislead funding decisions. Li Xinyi also 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 joint authorship; he maintains that academic credit should only go to those who contribute to understanding. In addition, he pointed out that work in applied mathematics of the "combining A with B" type is more easily replaced by AI, whereas in fields such as geometry and topology that rely
Matched fieldsSummary
Latent Space announces AIE CODE coding agent conference curation themes
Latent Space host swyx introduces the curation approach for the annual flagship conference AIE CODE, which is single-track, invitation-only, and aimed at about 1,000 agent engineers. This year's three themes are Scaling without Slop, System One models, and Increasing Ambition, among which Jarred Sumner will share Bun's rewrite in Rust and a Bun AOT preview. The article also rounds up that day's AI news, including Mistral's open-weight release and OpenAI's frontier model monitoring.
Matched fieldsBody
OpenAI Publishes 722 Mathematics Papers at Once, Mathematicians Worry Research Will Be Flattened by AI
OpenAI published 722 mathematics papers at once, covering number theory, geometry, and theoretical computer science, claiming progress on problems such as the Riemann Hypothesis, Catalan's constant, and the Kakeya conjecture, without peer review. Fields Medalist Hugo Duminil-Copin said 16 problems related to his research had been flattened by AI, and some doctoral students face their topics being covered and their degrees affected. The article also mentions an Anthropic researcher claiming to have disproved the Jacobian conjecture, and Shing-Tung Yau leading the establishment of a mathematics and artificial intelligence laboratory alliance.
OpenAI published 722 mathematics papers at once, covering number theory, geometry, and theoretical computer science, claiming progress on problems such as the Riemann Hypothesis, Catalan's constant, and the Kakeya conjecture, without peer review. Fields Medalist Hugo Duminil-Copin said 16 problems related to his research had been flattened by AI, and some doctoral students face their topics being covered and their degrees affected. The article also mentions an Anthropic researcher claiming to ha
Matched fieldsBody
Why AI Audit Tools Are Supplied by the Audited Party: Verification of Four Security Incidents and Seven Papers in One Week
Using four security incidents within the week of October 16 to 23 as its thread—including two PHP remote code execution vulnerabilities discovered by AI, the backdoored LiteLLM version v1.107.0 surviving on PyPI for about two hours and being downloaded roughly 49,000 times, the OpenCode console leaking third-party model keys for 1.4% of users, and Microsoft reporting that a human organization used the open-source multi-agent penetration framework ARTEX to attack the supply chain—the article discusses the common problems facing AI auditing. After examining seven papers one by one, the author points out that the faithfulness of latent reasoning self-decoding reaches at most 0.4788, sparse autoencoders are nearly blind to backdoor shifts, probes fail when targeted by the object being optimized, and all three mainstream audit tools originate from the audited party's ecosystem or require borrowing the audited party's permissions. The article also cites the NARCBench multi-agent collusion benchmark from Oxford and New York University, as well as the report by Anthropic and Theorem using Claude to write roughly one billion lines of Rocq formal proofs for 239 entry points across 123 open-source libraries.
Using four security incidents within the week of October 16 to 23 as its thread—including two PHP remote code execution vulnerabilities discovered by AI, the backdoored LiteLLM version v1.107.0 surviving on PyPI for about two hours and being downloaded roughly 49,000 times, the OpenCode console leaking third-party model keys for 1.4% of users, and Microsoft reporting that a human organization used the open-source multi-agent penetration framework ARTEX to attack the supply chain—the article disc
Matched fieldsBody
Liang Wenfeng needs his own Tibo: DeepSeek product department integration and the Agent path
DeepSeek has integrated the Harness with the web, App, and open platform teams into a product department, led by Cui Tianyi, and the official website has posted recruitment positions in two directions: AI product manager and Agent Harness. The article uses OpenAI Codex lead Tibo Sottiaux and the Anthropic Claude Code team as examples to explain how the execution capabilities of coding tools can be extended into a general work task entry point. DeepSeek, while open-sourcing Harness and the inference framework DeepInfer, is also facing cost pressure on caching and transmission brought by long tasks.
DeepSeek has integrated the Harness with the web, App, and open platform teams into a product department, led by Cui Tianyi, and the official website has posted recruitment positions in two directions: AI product manager and Agent Harness. The article uses OpenAI Codex lead Tibo Sottiaux and the Anthropic Claude Code team as examples to explain how the execution capabilities of coding tools can be extended into a general work task entry point. DeepSeek, while open-sourcing Harness and the infere
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
An unreleased OpenAI model produced 722 mathematics manuscripts overnight, prompting a joint criticism from 25 Fields Medalists
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 fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody
English translation is being prepared.
Matched fieldsBody