First screen, captured . Hover to scroll the page, or open the video.
Captured . Click for the whole screenshot.
38 points by tokepi | 29 comments
Guest post on Terence Tao's blog announcing oai-math-revised, a GitHub community effort to improve and properly cite OpenAI's math write-ups, inviting contributors and reviewers.
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.
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.
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.
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.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
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.