←science
← All topics

science

English text is being prepared.

Public reading groups
5
Last 30 days
4
Directory status
Legacy topic

LatestOpenAI announces three AI-generated results in mathematics, computer science, and physics

Latest reading groups

Duplicate reports of the same fact are grouped

  1. ScienceNet
    AI score76

    OpenAI announces three AI-generated results in mathematics, computer science, and physics

    OpenAI announced that its model has made new discoveries in three areas—harmonic analysis, complexity theory, and quantum field theory—concerning respectively the local smoothing conjecture and the Kakeya conjecture, the Exponential Time Hypothesis (ETH), and the existence of Yang–Mills theory. The mathematical proof was obtained as AI output on October 18 and formalized in Lean the next day, and will be made public on GitHub as recommended by experts; the ETH counterproof was generated on October 16 and verified in Lean. All three results await independent verification by the academic community; Russell Impagliazzo and others involved in the review said their participation should not be regarded as certification of the claim, and OpenAI has decided not to release the AI-generated output of the quantum field theory project for now.

    Why read thisOpenAI says the model produced proofs for three mathematics and physics problems, but all await independent verification; outside experts stress that participation does not equal endorsement.

  1. ScienceNetModel releases
    AI score78

    Moonshot AI releases Kimi K3.1 Pro with 3-trillion-level parameters and a 1-million-token context

    Moonshot AI has released Kimi K3.1 Pro, a new-generation open-source large model with 3-trillion-level parameters that supports a 1-million-token context window, retaining its title as the open-source model with the largest parameter scale in the world. The model is a post-trained version of Kimi K3, with a substantial increase in post-training compute, and it shows notable improvements in coding, 3D creation, financial research and long-horizon Agent capabilities; across multiple international benchmarks, its overall intelligence level is now approaching that of the world's leading closed-source models. The report also noted that OpenRouter statistics show global total AI large-model API calls from October 12 to 18 reached 164 trillion tokens, and that the weekly call volume of Chinese large models has exceeded that of the United States for 25 consecutive weeks.