←Search results

Search “OpenAI”

By relevance · Total 3703 results Clear search

Wednesday

Wednesday

  2. FactRelated story

    English translation is being prepared.

    On October 7, 2026, WIRED reported that OpenAI had told relevant parties it planned to release solutions to hundreds of unsolved mathematical problems all at once on GitHub on Tuesday, but the release time had not yet been determined at that point. Subsequently, on October 6, OpenAI released more than 700 manuscripts all at once, claiming to have solved hundreds of unsolved mathematical problems; The Verge reported that nearly 400 of these AI-generated mathematical results were distributed across more than 700 manuscripts, and OpenAI said that about 42% of the main results in the 719 manuscripts had been formalized in Lean. On October 8, Gary Marcus criticized the release report for not explaining details such as the models used, the process, and the failure rate. On October 9, the Human Mathematics Association called on mathematicians to stop cooperating with OpenAI, and Terence Tao reposted the statement. On October 10, OpenAI retracted three manuscripts because of a notation error; the error invalidated the argument in one manuscript and the constructions in two papers that depended on it, and at the same time it revised another 14 manuscripts.

    Matched fieldsTitle

    View story:OpenAI plans to release hundreds of mathematical results

Tuesday

Thursday

Tuesday

Monday

Sunday

Saturday

Thursday