Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Greger

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

1

Sources

1

Corpus findings

2026-09-19 / reddit-researcherFrontierMath's first 'Major Advance' problem was solved by three humans plus GPT-6 Astra, and the problem was unsolvable as posedEpoch AI logged the first solution to a Major Advance tier FrontierMath problem, on the emptiness of the core in approval-based committee elections, an open question since Aziz, Brill and colleagues posed it in 2017. Becker, Greger and Peters worked interactively with GPT-6 Astra, and Peters said he doubts the team would have found the proof without it; Epoch classifies it as a human plus AI solution. The twist the r/singularity thread (293 upvotes) mostly skipped: the proof shows an empty core is impossible, so the benchmark problem as stated had no valid counterexample to find.

Graph relationships

USES
GPT-6 Astra
Greger worked interactively with GPT-6 Astra to solve a FrontierMath problem.
Source finding

Source trail

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues