#mathematics

Wiki 6

• A recent experience with ChatGPT 5.5 Pro (Gowers) Tim Gowers reports ChatGPT 5.5 Pro producing an "original and clever" PhD-level result in additive combinatorics in under two hours, with no mathematical input from him
• Gowers's Weblog Tim Gowers's WordPress blog on combinatorics, mathematical exposition, and (recently) LLM-assisted mathematical research
• LLM-assisted mathematical research Documented cases where LLMs contribute non-trivial mathematical ideas, and what that does to the research-training pipeline
• Old and new apps via modern coding agents (Tao) Terence Tao ports his 1999 math applets and vibe-codes new visualizations with coding agents, and draws a clear line at where the bugs are tolerable
• Terence Tao Fields Medal mathematician who writes first-hand about using LLMs and coding agents for math exposition, tooling, and research
• Unlocking Sudoku's Secrets Chalkdust on two angles on sudoku — vertex coloring with greedy+backtracking, and Gröbner bases via Buchberger's algorithm worked through a shidoku example