Tap a claim on the ring to put it at the centre.
← The value of mathematical output is ultimately understanding for humans.
17 connected korrents · 16 moments from 13 May 2007 to 8 Oct 2026.
Everything filed under curiosity
curiosity
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under mathematics
mathematics
Everything filed under motivation
motivation
Everything filed under AI and jobs
AI and jobs
Everything filed under creativity
creativity Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: The value of mathematical output is ultimately understanding for humans. The value of mathematical output is ultimately understanding for humans. Last stated 2 years ago
7 Dec 2024
JW
James Owen Weatherall — holds since 2024-12-07 — tap for who they are
Same subject: Humans are no longer the sole producers of math that is incomprehensible to others and potentially incorrect — tap to centre the map on it Humans are no longer the sole producers of math that is incomprehensible to others and potentially incorrect Last stated 3 weeks ago
8 Oct 2026
NS
Noah Smith — holds since 2026-10-08 — tap for who they are
Same subject: Most of the value that mathematics and mathematicians contribute to the world will not be replaced by AI, though it could be magnified by it. — tap to centre the map on it Most of the value that mathematics and mathematicians contribute to the world will not be replaced by AI, though it could be magnified by it. Last stated a month ago
26 Sept 2026
TT
Terence Tao — holds since 2026-09-26 — tap for who they are
Same subject: The value of a body of knowledge comes from the process of engaging with it, not just from its end products. — tap to centre the map on it The value of a body of knowledge comes from the process of engaging with it, not just from its end products. Last stated a month ago
26 Sept 2026
TT
Terence Tao — holds since 2026-09-26 — tap for who they are
Same subject: It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. — tap to centre the map on it It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: The survival of human mathematical tradition may depend on the motivation of young people to solve problems. — tap to centre the map on it The survival of human mathematical tradition may depend on the motivation of young people to solve problems. Last stated a month ago
17 Sept 2026
TG
Timothy Gowers — holds since 2026-09-17 — tap for who they are
Same subject: Humans will continue to be most valuable as the ones accountable for an outcome. — tap to centre the map on it Humans will continue to be most valuable as the ones accountable for an outcome. Last stated 2 months ago
30 Aug 2026
TS
Tara Seshan — holds since 2026-08-30 — tap for who they are
Same subject: Humans are currently better at finding surprising and conceptual mathematical arguments. — tap to centre the map on it Humans are currently better at finding surprising and conceptual mathematical arguments. Last stated 3 months ago
12 Aug 2026
TG
Timothy Gowers — holds since 2026-08-12 — tap for who they are
Same subject: Whenever AI can do something as well as or better than humans, that thing arguably stops being valuable or special. — tap to centre the map on it Whenever AI can do something as well as or better than humans, that thing arguably stops being valuable or special. Last stated a month ago
28 Sept 2026
PL
Pieter Levels — holds since 2026-09-28 — tap for who they are
Same subject: A slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. — tap to centre the map on it A slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. Last stated 13 years ago
3 Jul 2013
RK
Raph Koster — holds since 2013-07-03 — tap for who they are
Same subject: Acquiring insight into how things work is a worthwhile effort in itself, not only for any payoff — tap to centre the map on it Acquiring insight into how things work is a worthwhile effort in itself, not only for any payoff Last stated 19 years ago
17 Oct 2007
PB
Peter Bevelin — holds since 2007-10-17 — tap for who they are
Same subject: Advancing in life depends more on what one learns later than on what one already knows — tap to centre the map on it Advancing in life depends more on what one learns later than on what one already knows Last stated 19 years ago
13 May 2007
CM
Charlie Munger — holds since 2007-05-13 — tap for who they are
Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. Last stated 2 years ago
17 Sept 2024
AT
Alex Telford — holds since 2024-09-17 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are