Comments

• By NitpickLawyer 2025-11-236:42

  Having the ability to throw math heavy ML papers at the assistants and get simplified explanations / pseudocode back is absolutely amazing, as someone who's forgot most of what I learned in uni, 25+ years back and never really used it since.

• By kregasaurusrex 2025-11-233:50

  'Vibe formalizing' is a logical extension of 'vibe engineering' implemented by 'vibe coding'. Sometimes I have trouble with getting the individual puzzle pieces of a problem to fall into place, where a hypothetical 'Move 37 As A Service' to unify informal methods with mathematical rigor deserves to be explored!

• By RossBencina 2025-11-232:121 reply

  Also interesting that the responses include anti-Lean material.

  By CamperBob2 2025-11-234:21

  Due to his position and general fame, Tao has to deal with a larger-than-usual number of kooks.