Why are we even doing all this?(terrytao.wordpress.com)
78 points by smilelamp | 31 comments
A guest post by Rikab Gambhir on Terence Tao's blog reflecting on why mathematicians and physicists do their work as AI reshapes research.
78 points by smilelamp | 31 comments
A guest post by Rikab Gambhir on Terence Tao's blog reflecting on why mathematicians and physicists do their work as AI reshapes research.
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.
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
150 points by digital55 | 76 comments
Guest post on Terence Tao's blog announcing the Advisory Group on Mathematics and Artificial Intelligence, with members including Tao, Gowers, Hairer, Witten and others.
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.
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.
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.
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.
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.