A 4-bit reasoning model that runs on consumer GPUs, an ultra-light e-ink reader, and a year-end wrapped for Claude Code users.
GPT-5 made headlines by solving an open math problem autonomously. MiniMax dropped an open-source coding agent that rivals proprietary models.
OpenAI's o3 variant autonomously solved a previously open problem in enumerative geometry — counting plane curves through specific point configurations. The model identified the problem, formulated an approach, and proved the result without human guidance.
This is the first documented case of an AI solving an open mathematical problem end-to-end. The result was verified by mathematicians and submitted to a journal. IMProofBench now tracks AI-discovered theorems.
Quick hits from AI research and policy.
Video generation gets longer, and Qwen's image editing model gets proper ComfyUI integration.
A new self-hosted IPTV player and a critical MongoDB vulnerability to patch.