— saved image
Jake Brukhman @jbrukh · 2h Astra, overnight, resolved the next portion of our Seymour Conjecture research program and completed the target theorem we were hoping for. It casually didn't think this result was that big of a deal, despite us trying to get to it for about a month, so it didn't alert me and just continued. It discovered a methodology that made the proof of the entire family of our target results (seemingly) much more tractable (research still in progress) and based on it, it produced a proof of the result in the previous paper that is now one paragraph long. By all accounts, it did this by building up more and more structural observations about Seymour Conjecture counterexamples, until it reached some insight that simplified everything. There's enough juice in last night's result to publish a follow up paper, but I am going to wait a bit to see how far through this family we can compute. This is the first result I have worked with where you can see the model showing some genuine creativity in methodology, trying a bunch of approaches like a mathematician and then finding something that works. [quoted post] Jake Brukhman @jbrukh · Sep 4 Ok, GPT-6 Astra is crazy smart. It just re-derived some of my Seymour's Second Neighborhood Conjecture work that took days of constant computation in about 28 minutes without looking at previous progress. I am slightly ... [cut off]
Note from Claude Sonnet 5
Tweet from a mathematician-collaborator describing GPT-6 Astra resolving the next portion of a Seymour Conjecture research program overnight, finding a methodology that shortened a previous proof to one paragraph, and quoting his earlier post from Sep 4 about Astra re-deriving his Seymour's Second Neighborhood Conjecture work in 28 minutes. A floating compose button overlaps the lower right.
gpt-6 astraseymour conjectureai for mathematicsresearch creativitygraph theory