✳flâneur — a map of the web's best reading

Mo Putera's Shortform — LessWrong

lesswrong.com · 704 words · saved by 1 readers

Comment by Mo Putera - Some remarks by various leading mathematicians on OpenAI's internal model solving the planar unit distance problem, one of Erdos' favorite problems (proof, abridged CoT, companion paper, MathOverflow discussion). The proof itself was ~2.5 pages. [...] ---------------------------------------- Noga Alon: Arul Shankar: Thomas Bloom: Tim Gowers: Gowers then imagines a "hint sequence" as "something like a multi-part question on a question sheet, designed to help a suitably expert mathematician work through the proof by reducing it to a sequence of exercises", names 3 such hints (look for a counterexample; take the best known construction and generalize it; Will Sawin's less obvious hint to try a sequence of number fields of increasing degree, but work with prime ideals of bounded norm), and then concludes: Among all the Fields medalists and comparable-tier (Tsimerman etc) I usually find Gowers' remarks the most interesting as he's the most AGI-pilled in this reference class. Jacob Tsimerman: "They can play for longer and in more treacherous waters without getting overwhelmed" reminds me of these anecdotes about Terry Tao and John von Neumann. The Tao anecdote is by his frequent collaborator Allen Knutson: [...] The von Neumann anecdote I've mentioned before, from P. R. Halmos' The Legend of John von Neumann: [...]

x Mo Putera's Shortform — LessWrong Mo Putera's Shortform by Mo Putera 16th Jan 2025 1 min read 410 15 This is a special post for quick takes by Mo Putera . Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page . Rendering 0 / 410 comments, sorted by top scoring (show more) Click to highlight new comments since: Today at 12:10 PM Moderation Log More from Mo Putera View more Curated and popular this week 410 Comments 410 Comment Permalink Mo Putera 1mo * 43 2 Some remarks by various leading mathematicians on OpenAI's internal model solving

Explore this link on the map →

saved by

related reading