First screen, captured .
142 points by stabbles | 122 comments
A Xena Project blog post by a mathematician reflecting on whether to grieve as AI advances in formalizing mathematics in Lean, following a post about Anthropic and FLT.
372 points by mathgenius | 317 comments
Blog post on the Xena Project blog by a mathematician discussing whether AI systems can do research-level mathematics yet.
422 points by verbify | 206 comments
Kevin Buzzard's Xena Project blog post giving a progress update on formalizing the proof of Fermat's Last Theorem in the Lean theorem prover.
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.
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.
322 points by eatonphil | 99 comments
Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.
625 points by JustinSkycak | 351 comments
A personal blog post arguing that struggling with math usually stems from missing prerequisite knowledge rather than lack of intelligence.
417 points by felineflock | 171 comments
A Level1Techs forum post presenting technical experiments on how quantization and implementation differences make locally run LLMs perform worse than reference versions.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
606 points by signa11 | 266 comments
A blog post arguing that small nuggets of programming knowledge boost productivity, sharing examples like fzf-powered ctrl+r and python3 -m http.server.