StErMi

It's a meme but I really have been letting the psychosis take over as much as possible to figure out what I can actually do with these things - codex desktop app computer use spam - hermes agent that I've been loving - going as hard as possible on parallelizing in projects - making as many of my tools into markdown files as humanly possible - cloud agents + "cloud" agents that are t3 code instances on my mac mini - letting codex entirely control and setup my computer exactly how I want it to - unironically using gbrain, it's quite nice lol - seeing how far I can push local models on my 5090 (qwen 3.6 is very good) doing the real network setup was expensive, difficult, but was a great decicion. I feel so much more comfortable going harder with this stuff having A) a real firewall and B) hard gates around the mac mini and NAS so in the worst case scenario they can't compromise anything else on the network (the firewalla was an incredible purchase) and I still don't think I'm going hard enough

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.