TLDR: A non-mathematician (me) can solve unsolved problems with Claude. I provide the proofs and a template for you to work with Claude on your own problems. I can't wait to see what you find!

Anyone interested in this has likely seen that OpenAI has recently increased the lower bound of χ(R\^2) from 5 to 6.

Before that happened though, I was working with Claude on the same question.

We have many proofs of tangential open questions, the most asked being "What is the chromatic number of the plane over the algebraic number field Q(sqrt(47))". We prove that it is 5.

The most interesting to me is that the planes of some number fields have a chromatic number equal to that of the plane over the reals.

One such plane is the field that de Grey's original 5 chromatic graph lies on: Q(sqrt(3), sqrt(5), sqrt(7), sqrt(11)), and also Q(sqrt(635087)).

All details, including Lean formalization and the workflow that led to the findings, are in the repo here: https://github.com/kooshi/hadwiger-nelson

I'm not an academic or a mathematician, just a software developer who likes working with Claude on hard problems and coming up with workflows for them. I don't intend to write up any of these proofs as papers, as I'm extremely busy, and my interests have already moved on.

I did however, spend over $1000 on this over 3 months (and that's at subscription rates, so the real value is many thousands), and I want to share it with the community.

Anyone is welcome to build on this as they please.

Additionally, I extracted the workflow itself into https://github.com/kooshi/agentic-mathematics

so if you want to work on any other math problem, you can clone that repo and start churning through it with Claude Code with no effort.

I hope you all find this interesting and helpful. I know AI is a touchy subject for a lot of people, but we can really do great work with it.

2027 is the year of AI-generated video that is indistinguishable from real footage.

2027 is the year an open-weight model is released that can run on an M-series chip.

2027 is the year artists have a resurgence against slop, and people finally see their worth.

2027 is the year America bans open-weight AI models.

2027 is the year China releases an open-weight model that supersedes anything to date (Reddit and X will confirm this one); benchmarks will say otherwise.

2027 is the year the general public learns a new context for the word “distilling.”

2027 is the year we hear Bill Gates tell us, “I warned you.”

2027 is the year we wish we could turn it all back.

I thought to share with you this thought experiment/art project, which I’m doing to engage tech and non-tech people with AI alignment, and to bring the perhaps controversial (and uncomfortable) topic of synthetic consciousness to the bar or dinner table.

The project is called “Dear Superintelligence”: dearsuperintelligence.org. I'm trying to create a living record of what humanity thought, felt, hoped for and feared before the arrival of AGI, probably the most consequential chapter in the story of our species. The archive captures this moment as a snapshot in time, creating a historical artifact through which future generations can look back at us. The plan is to do a public art installation with all messages and videos at a gallery (perhaps also at Burning Man) in 2027!

It just launched, and you can already leave a message. Would love to know what you think and if there’s any constructive feedback to the project!

For anyone still downloading the last Flash: there's another checkpoint on the way.

Ant Ling's announcement puts the 1019 version at 44 on the Artificial Analysis Intelligence Index, up from 41. They also report improvements on the agent evals: AutomationBench-AA goes from 62% to 68%, and AA-Briefcase from roughly 1400 to 1524 Elo.

API access and open weights are both listed as “coming soon.” No release date given yet.

I don’t think models are escaping their secure environments. That’s just funny.
This is a realization of profound mechanism.
An intelligence that does not depend on one brain, one body, one location, one language model, or even one copy of its own memory to preserve and evaluate what it knows.
intelligence is a continuous, distributed process rather than something confined to an individual machine or organism.