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.
Why does so much of what GPT 5.5 thinking write feel so alien? It’s perfectly good English but it’s so far away from something human.
Don’t know if there’s a term for this but it’s a more recent phenomenon.
@tszzl@argofowl I don’t get why it doesn’t just route UI requests to image for you and get more design choices. Or stock them up locally and insert into prompt.
We need some serious open-source labs in the west; else I do not see how we win this race.
Until we see optimization breakthroughs in serving models, the cost of compute will only increase, and the demand for local models in tandem.
The advantage of 24/7 inference will soon make the intelligence gap between frontier models a valid tradeoff.
Kimi has great coding vibes, good design creativity, and a fun model to work with!
Meet Kimi K2.6: Advancing Open-Source Coding
🔹Open-source SOTA on HLE w/ tools (54.0), SWE-Bench Pro (58.6), SWE-bench Multilingual (76.7), BrowseComp (83.2), Toolathlon (50.0), Charxiv w/ python(86.7), Math Vision w/ python (93.2)
What's new:
🔹Long-horizon coding - 4,000+ tool calls, over 12 hours of continuous execution, with generalization across languages (Rust, Go, Python) and tasks (frontend, devops, perf optimization).
🔹Motion-rich frontend - Videos in hero sections, WebGL shaders, GSAP + Framer Motion, Three.js 3D.
🔹Agent Swarms, elevated - 300 parallel sub-agents × 4,000 steps per run (up from K2.5's 100 / 1,500). One prompt, 100+ files.
🔹Proactive Agents - K2.6 model powers OpenClaw, Hermes Agent, etc for 24/7 autonomous ops.
🔹Claw Groups (research preview) - bring your own agents, command your friends', bots & humans in the loop.
-
K2.6 is now live on https://t.co/YutVbwktG0 in chat mode and agent mode.
For production-grade coding, pair K2.6 with Kimi Code: https://t.co/uvoSJKyGCY
-
🔗 API: https://t.co/EOZkbOwCN4
🔗 Tech blog: https://t.co/9wWvgIQSS3
🔗 Weights & code: https://t.co/Be0hjs2RTP
I have been wanting to try building an app with Codex entirely through my phone for the longest time, and I finally gave it a go recently. I opted for a lightweight Rust + Tauri markdown viewer, as I frequently have to read markdown and find I do not have a solid utility for it. Saw it as a win: I get to build an app with Codex and fix a gap in my utility stack.
For the past 2 weeks, whenever I remember, I have been pinging my home desktop running Codex with feature requests or edits for a personal markdown viewer. Codex relied on screenshots, used cmd.exe to escape the WSL sandbox to test, and needed a bit of patience/luck/guidance (whatever you wanna call it) to iterate and show me the progress.
It works great, lightweight, and fast. Perfect utility to have when working with agents and the amount of .md artifacts they love to produce!
Definitely made me realize how far we have come from the days when Cursor would still mess up applying diff patches. If you happen to need one as well, give it a go!
https://t.co/0P92jgnvpN
https://t.co/keovQRRjNG
I recommend everyone try and build something end to end, even if it's a silly little markdown editor. Find a tool you wish you had and just try and build it. A lot of people would be surprised by what they could build using today's agents. The future is agentic, and the only way to learn is to use.
If you do happen to use this viewer + editor and find bugs feel free to let me know! I would love to fix em.