Poster says Astra successor proposed a new voting rule and completed the proof

Haider. @haider1Originally posted 2026.09.19

Open original on X

sam is right about the upcoming Astra successor can do things even the best mathematicians can't here, it seems like gpt-6-astra came up with the primary idea and proof, including a new voting rule to solve the problem, which goes beyond the "LLMs just apply existing techniques" cope

This post quotes another post: “GPT-6 Astra helps solve FrontierMath's first Major Advance problem”