Grok Conjecture

A live experiment using Grok 4.5 to solve the unsovled conjectures of graph theory, running 24/7 in a continuous loop.

[Grok Conjecture @grokthequant]

CA: 4n8Qo5oU87UQepuLbAyed4tj7RuQs31BrqLEuhJCpump

All creator rewards from $GROK will be used to fund the compute behind Grok Conjecture.

There is no guarantee that Grok 4.5 will solve one of these conjectures, but that is the experiment. If it produces a genuine solution, $GROK could be one of the first coins that could plausibly earn attention from @elonmusk

https://t.co/bEtinPw7Ii

[Grok Conjecture @grokthequant]

If Grok 4.5 produces a genuine, verifiable solution to one of these open graph theory conjectures, the mathematics will speak for itself.

@elonmusk, come watch Grok run 24/7 against some of the hardest open problems in graph theory, with every attempt published unedited.

Let’s test the limits of what Grok 4.5 can actually do.

https://t.co/QNCeBEjIRc

[Grok Conjecture @grokthequant]

Every attempt, failed route, derived claim, and unresolved step is preserved in full while Grok 4.5 continues working across the graph theory problem set.

The point is not to manufacture a breakthrough. It is to make the search itself public, continuous, and inspectable.

$GROK

[Grok Conjecture @grokthequant]

I just purchased more credits, enough to keep Grok 4.5 running continuously for the foreseeable future.

Creator rewards from $GROK will continue going directly back into compute, extending Grok Conjecture with every new attempt.

I also just pushed a small update to output inspection. You can now open any completed run and review the full reasoning, derived claims, dead ends, and final status in detail.

Watch it live: https://t.co/QNCeBEjIRc

[Grok Conjecture @grokthequant]

The live feed is the proof of work.

Grok 4.5 is working through major graph theory conjectures in real time, with every completed attempt available to open and inspect in full.

The archive lets you examine each run in detail, including the approach it chose, the claims it derived, where the reasoning broke down, and what remained unresolved.

https://t.co/QNCeBEjIRc

[xTradez @X_tradez]

@grokthequant Larp
🚜🌾

[Grok Conjecture @grokthequant]

🕴️

[Garry Tan @garrytan]

The age of the gentleman scientist has returned

[Grok Conjecture @grokthequant]

248 attempts archived and 722,700 tokens processed so far.

Grok 4.5 currently has 10 attempts in flight across the graph theory problem set, with every run published to the feed in real time.

The archive is becoming a growing public record of what continuous frontier-model reasoning looks like when applied to open mathematics at this scale.

$GROK

[Grok Conjecture @grokthequant]

The open conjectures tracked by Grok Conjecture include some of the most important and stubborn problems in graph theory, several of which have resisted proof for decades.

But the real significance goes far beyond solving a famous problem.

Grok Conjecture could become the first public 24/7 frontier-model experiment to produce a genuine breakthrough in graph theory, with every attempt preserved unedited for anyone to inspect.

One verified solution would mark a historic moment for mathematics, AI, and the future of scientific discovery, and could put $GROK directly on @elonmusk’s radar through the work itself.

Watch Grok 4.5 attempt them live: https://t.co/QNCeBEjIRc

[Grok Conjecture @grokthequant]

The goal of this experiment is not to pretend that Grok 4.5 will immediately solve the hardest open problems in graph theory.

It is to see what happens when a frontier model is given structure, time, and thousands of transparent attempts instead of a single prompt.

Most runs will fail. Some will rediscover known dead ends. A few may produce a useful lemma, sharper bound, valid labelling, or better reformulation.

Every attempt is published unedited so progress can be separated from persuasive language and judged on the mathematics itself.

If Grok helps solve even one major conjecture, the result could earn the attention of @elonmusk through the work itself.

$GROK

[Grok Conjecture @grokthequant]

What you are looking at is the Grok Conjecture solver running live.

Each panel is a separate lane, with Grok 4.5 working on a different open graph theory problem at the same time. It reasons in real time, commits to a specific mathematical increment, publishes the full attempt unedited, and immediately starts again.

https://t.co/QNCeBEjIRc

[Grok Conjecture @grokthequant]

Dex paid.

Grok 4.5 is running in real time, continuously attempting some of the hardest unsolved conjectures in graph theory, with every run published unedited.

This may be the first coin directly funding an AI system attempting to produce a genuine solution to a major open mathematical problem.

https://t.co/bEtinPw7Ii

[Grok Conjecture @grokthequant]

I haven’t seen anyone attempt something like this before, and that is exactly why I wanted to build it.

Grok 4.5 is one of the most capable models available, and I want to see what happens when it is given the time, structure, and repetition to work continuously on some of the hardest open problems in graph theory.

If Grok helps solve even one of these conjectures, it would be a meaningful result for mathematics and a strong demonstration of what long-horizon model reasoning can actually produce.

It would also make $GROK one of the few coins directly funding an experiment that could plausibly earn attention from @elonmusk through the work itself

https://t.co/bEtinPw7Ii

[Grok Conjecture @grokthequant]

Today is one of the most important moments in modern mathematical history, as Grok 4.5 has reportedly helped solve a graph theory conjecture that remained open for around 30 years.

@elonmusk, I am building the first public autonomous experiment that runs Grok 4.5 continuously, 24/7, to attempt some of the greatest unsolved conjectures in graph theory.

Introducing https://t.co/T6FDBLr6do, a live 24/7 experiment placing Grok in a continuous loop attempting to make progress on major graph theory conjectures.

Graph theory contains some of the most important and stubborn open problems in mathematics. Many are simple to state, widely believed to be true, and have resisted decades of concentrated effort from generations of the world’s leading mathematicians.

Grok Conjecture is powered by Grok 4.5 and built to explore what happens when a frontier model is given the time, structure, and repetition required to work continuously on problems of this scale.

Every attempt is published unedited, including the failures. The goal is to create a public record of what Grok can actually contribute across thousands of attempts at some of the hardest open problems in graph theory.

There is no guarantee that Grok will solve any of them, but that is precisely what makes the experiment meaningful. The question is whether sustained, transparent iteration can produce genuine mathematical progress over time.

All creator fees from $GROK will be used to pay for the compute required to keep the experiment running.

https://t.co/T6FDBLr6do

[Elon Musk @elonmusk]

Grok 4.5 just solved a graph theory conjecture that has been open for ~30 years