Skip to content
K = 0.731
2026.10.17 · Sat

#OpenAI

#OpenAI

Research

Research papers, technical reports, benchmarks and datasets.

10/15Thu
  1. The Decoder81

    GPT-6-Astra solves 49 of 50 physics research problems at $2.40 apiece

    GPT-6-Astra, running in OpenAI's Codex environment without human hints, solved 49 of 50 TheoPhysEval problems across eleven theoretical physics subfields, costing just under $116 overall. Anthropic's Opus 5.5 scored 92 percent, while both models reached 92 percent without internet access. The researchers emphasize that the benchmark tests calculations using known methods, while choosing promising research questions remains a separate challenge for current agents.

    Why it matters: The benchmark distinguishes proficiency in concrete physics calculations from the ability to choose fruitful research questions, clarifying which parts of scientific work its high scores actually measure.

10/13Tue
  1. 量子位80

    GPT-6 Astra helps mathematics enthusiast nor prove five circle-packing cases

    QbitAI reports that mathematics enthusiast nor used GPT-6 Astra to prove optimality for packing 15, 16, 17, 18, and 20 unit disks inside a circle, completing the remaining cases for N≤20. The approach combines geometric constraints, finite computational enumeration, and exact optimality arguments. Nor describes substantial human involvement, including guiding the model, fixing issues, manually verifying validity, and rechecking the work with Astra and Opus 5.5.

    Why it matters: The reported proof strategy shows how geometric constraints can reduce an infinite search space to finite cases, with rigidity arguments connecting computational elimination to exact optimality.

10/11Sun
  1. 量子位88

    OpenAI Posts Two Kakeya Conjecture Manuscripts, Extending Work to Four Dimensions

    On October 7, OpenAI released 722 mathematics manuscripts, including two on the Kakeya conjecture: a 97-page paper claiming a three-dimensional maximal-function result stronger than Wang and Zahl's, and a 175-page paper claiming the four-dimensional Hausdorff dimension case. Both are attributed to OpenAI, are not Lean-formalized or peer-reviewed, and OpenAI's README says some unformalized results may be flawed.

    Why it matters: The piece traces how two OpenAI manuscripts extend Wang and Zahl's three-dimensional Kakeya work to a stronger maximal-function version and to four dimensions, while noting the proofs lack peer review.

10/7Wed
  1. OpenAI News62

    OpenAI announces progress by an internal frontier model on open math problems

    OpenAI released new results by an internal frontier model on open math problems and published Lean formalizations and research details on GitHub.

    Why it matters: OpenAI made results by an internal frontier model on open math problems public alongside Lean formalizations, showing how model reasoning can be combined with formal verification.

8/12Wed
  1. Google Research60

    Google Research proposes knowledge profiling: retrieval, not encoding, is the bottleneck for frontier LLM factuality

    Google Research has proposed a knowledge-profiling framework that distinguishes factual errors caused by encoding failures from those caused by retrieval failures, and released WikiProfile, a benchmark containing 2,150 Wikipedia facts.

    Why it matters: By separating encoding failures from retrieval failures, knowledge profiling offers a new way to diagnose the sources of factual errors in frontier models.

You've reached the end