First screen, captured .
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.
101 points by smilelamp | 53 comments
Guest post by Jeremy Avigad on Terence Tao's blog discussing the future of mathematics, framed by historical transformations of the subject.
383 points by num42 | 275 comments
Guest post by Grant Sanderson on Terence Tao's blog arguing that mathematics is about understanding, not just proofs, and that non-proof contributions deserve more recognition.
112 points by throwaway81523 | 92 comments
111 points by smilelamp | 148 comments
Guest post by Francesco Maggi on Terence Tao's blog discussing whether AI and large language models will bring a golden or dark age for mathematics and science.
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.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
383 points by num42 | 275 comments
Guest post by Grant Sanderson on Terence Tao's blog arguing that mathematics is about understanding, not just proofs, and that non-proof contributions deserve more recognition.
26 points by ingve | 36 comments
Blog post by Nate Meyvis offering conjectural answers to why AI coding hasn't visibly produced more new, good software.
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.
10 points by Avid_F | 3 comments
A personal blog essay on Fayaz Notes arguing that AGI has arrived and exploring what the post-AGI era means.