Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.

Captured . Click for the whole screenshot.
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
119 points by 42point2 | 20 comments
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
94 points by gmays | 19 comments
Perplexity Research blog post announcing Decider v1.3 and Decider Flash v1.3 open-weight decision/classifier models, explaining their training, evaluation, and internal use.
63 points by pbohun | 18 comments
Pigshell 0.6.4 is a browser-based Unix-style shell that represents web resources and cloud data as files you can process with command pipelines.
369 points by meetpateltech | 246 comments
Anthropic research post on whether reasoning models' Chain-of-Thought faithfully reflects their actual reasoning, linking to the accompanying paper.
442 points by sebg | 163 comments
Sebastian Raschka's Ahead of AI newsletter article explaining the four main approaches to building and refining reasoning LLMs.
471 points by vinhnx | 410 comments
Qwen team blog post announcing Qwen3-Max-Thinking, a reasoning-focused version of their flagship large language model.
1573 points by fofoz | 1186 comments
OpenAI research post introducing o1, a large language model trained with reinforcement learning to reason using a long internal chain of thought before answering.
358 points by amrrs | 260 comments
Qwen Team blog post announcing QwQ-32B-Preview, an experimental open reasoning-focused language model from Alibaba similar to OpenAI's o1.
665 points by quantumgarbage | 295 comments
Project page for a research paper on extracting hidden reasoning traces from proprietary LLM APIs, by authors from MATS, ELLIS, Max Planck and Tübingen.