Kilo (acq. by Anaconda)(@kilocode):Two mathematicians spent a year on a $1m problem, and then OpenAI released proofs on the same day. Tristan Buckmaster and Levent Alpöge ran every draft of their work through Codex sessions, and after news of their result reached OpenAI, the company produced a proof along the same narrow route within days. Coincidence? Possibly. Sovereign AI is a routing decision: if you control which providers see your work, you never have to ask a vendor for a straight answer. Learn more:

Kilo (acq. by Anaconda)

@kilocode

Kilo is the all-in-one agentic engineering platform. 5M+ Kilo Coders. Open source since day one!

加入 March 2025

227 正在關注 29.2K 粉絲

Kilo (acq. by Anaconda)@kilocode

2026.09.09 20:58

Two mathematicians spent a year on a $1m problem, and then OpenAI released proofs on the same day. Tristan Buckmaster and Levent Alpöge ran every draft of their work through Codex sessions, and after news of their result reached OpenAI, the company produced a proof along the same narrow route within days. Coincidence? Possibly. Sovereign AI is a routing decision: if you control which providers see your work, you never have to ask a vendor for a straight answer. Learn more: