Skip to content
K = 0.731
All news · Today0 items

#arXiv

All collected and published items, ordered by time. Picks are a selected subset.
10/15Thu
  1. 雷锋网84

    Shanghai AI Laboratory’s Shusheng-S2 Helps Prove the Three-Dimensional Ghys Conjecture

    Xu Disheng’s team used Shanghai AI Laboratory’s Shusheng-S2 model in a human–AI collaboration to prove the three-dimensional Ghys conjecture, with a preprint posted on arXiv. Researchers guided seven rounds of recursive exploration as the problem graph expanded from 15 to 389 nodes. A Peking University team used its SHEAF framework to formalize all four main theorems, producing approximately 550,000 lines of Lean code in about five days and passing Lean checks.

    Why it matters: The workflow offers a transferable approach to research mathematics, pairing expert guidance with recursive model exploration and organizing formal verification around a dependency graph of checkable proof tasks.

10/10Sat
  1. Epoch AI · X62

    Epoch AI tracks AI use in arXiv math papers

    Epoch AI reports that in 3 of the 18 math subfields it tracks, more than half of arXiv papers by established authors now acknowledge using AI. It says rates rose rapidly, with differential geometry climbing from about 8% of papers in July to about 57% in September.

9/16Wed
  1. Hugging Face Blog66

    IBM research proposes consistency guidelines, narrowing ReAct agents' Pass^5 gap from 24.4pp to 12.0pp

    IBM researchers describe new consistency guidelines in altk-evolve, designed to address unstable results when an agent runs the same task repeatedly.

    Why it matters: The paper quantifies the gap between Mean@k and Pass^k and shows that consistency guidelines cut it in half, offering a technique for agent-evaluation design.