Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.

Added to korrents 14 Jun 2025 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing.

• His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. TTTerence Tao14 Jun 2025similar wording
  Interesting
• Scaling laws are still working, but the models people actually use run a few months behind the maximum capability Google can deliver, because the biggest model is too slow and expensive to serve. SPSundar Pichai5 Jun 2025similar wording
  Interesting
• He works as a fox, not a hedgehog: moving between fields, chasing analogies, and re-proving results he likes with the tools he favours. TTTerence Tao14 Jun 2025similar wording
  Interesting
• Solving one Olympiad problem with three days of Google's server time shows what is possible, but the approach does not scale. TTTerence Tao14 Jun 2025similar wording
  Interesting
• When formalising a proof costs no more than writing it, mathematics will flip: papers written in Lean first, and journals refereeing only for significance because correctness is certified. TTTerence Tao14 Jun 2025similar wording
  Interesting

See this on the map →