First screen, captured .
350 points by gpjt | 26 comments
Blog post, part 8 of a series working through Raschka's 'Build a Large Language Model (from Scratch)', explaining self-attention with trainable weights.
482 points by gpjt | 101 comments
Blog post, part 28 of a series, describing an experiment training a ~163M-parameter base LLM from scratch on a single RTX 3090 at home.
322 points by gpjt | 61 comments
Blog post, part 13 of a series working through Raschka's 'Build a Large Language Model (from Scratch)', explaining why self-attention's matrix multiplications work.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
339 points by ulrischa | 264 comments
Simon Willison blog post arguing that LLM hallucinations in code are the least harmful kind of mistake because running the code exposes them immediately.
178 points by matt_d | 50 comments
Terence Tao blog post on what mathematicians should know about the Lean theorem prover, covering reliability and AI; the capture shows only a browser-check interstitial.
357 points by mdp2021 | 23 comments
Sebastian Raschka's Ahead of AI article comparing the architectures of modern LLMs, from DeepSeek-V3 to Kimi K2.
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
358 points by srcreigh | 461 comments
Guest post by Amit Sahai on Terence Tao's blog arguing that the world will need many more mathematicians, reflecting on students who left math due to pace.