korrents

← Lean and tools like GitHub will let experimental mathematics scale far…

On the map

5 connected korrents · 2 moments on record from 5 Jun 2025 to 14 Jun 2025.

Same subjectSame subjectSame subjectSame subjectSame subject Lean and tools like GitHubwill let experimentalmathematics scale far… TT Terence Tao — holds since 2025-06-14 His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. His prediction thatresearch-level… TT Terence Tao — holds since 2025-06-14 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. Scaling laws are stillworking, but the models… SP Sundar Pichai — holds since 2025-06-05 He works as a fox, not a hedgehog: moving between fields, chasing analogies, and re-proving results he likes with the tools he favours. He works as a fox, nota hedgehog: moving… TT Terence Tao — holds since 2025-06-14 Solving one Olympiad problem with three days of Google's server time shows what is possible, but the approach does not scale. Solving one Olympiadproblem with three days… TT Terence Tao — holds since 2025-06-14 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. When formalising aproof costs no more… TT Terence Tao — holds since 2025-06-14
same subject