Tap a claim on the ring to put it at the centre.
← Getting students doing mathematics and paying attention to how they…
17 connected korrents · 16 moments from 15 Sept 2006 to 27 Oct 2026. Nearly all of them are about mathematics .
Everything filed under education
education
Everything filed under AI and science
AI and science
Everything filed under curiosity
curiosity
Everything filed under formal proof
formal proof
Everything filed under AI slop
AI slop
Everything filed under hiring
hiring 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: Getting students doing mathematics and paying attention to how they think should not be revolutionary ideas in math education. Getting students doing mathematics and paying attention to how they think should not be revolutionary ideas in math education. Last stated 2 years ago
29 Sept 2024
PH
Patrick Honner — holds since 2024-09-29 — tap for who they are
Same subject: Anyone interested in math, especially math teachers, should pay attention to AI-assisted mathematics. — tap to centre the map on it Anyone interested in math, especially math teachers, should pay attention to AI-assisted mathematics. Last stated 5 months ago
24 May 2026
PH
Patrick Honner — holds since 2026-05-24 — tap for who they are
Same subject: Math teachers are uniquely positioned to help students see AI tools as applications of mathematics. — tap to centre the map on it Math teachers are uniquely positioned to help students see AI tools as applications of mathematics. Last stated 4 days ago
27 Oct 2026
PH
Patrick Honner — holds since 2026-10-27 — tap for who they are
Same subject: A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. — tap to centre the map on it A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock. Last stated 8 months ago
3 Mar 2026
SB
Sanjay Bakshi — holds since 2026-03-03 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A tossed coin is more likely to land on the same face it started on than on the opposite face. — tap to centre the map on it A tossed coin is more likely to land on the same face it started on than on the opposite face. Last stated a month ago
24 Sept 2026
TH
Tim Harford — holds since 2026-09-24 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: Admissions committees for economics PhD programs are perhaps excessively fond of mathematics on transcripts — tap to centre the map on it Admissions committees for economics PhD programs are perhaps excessively fond of mathematics on transcripts Last stated 20 years ago
15 Sept 2006
GM
Greg Mankiw — holds since 2006-09-15 — 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
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
At the centre
Getting students doing mathematics and paying attention to how they think should not be revolutionary ideas in math education.
Holds Read this korrent →
Anyone interested in math, especially math teachers, should pay attention to AI-assisted mathematics.
Holds
Math teachers are uniquely positioned to help students see AI tools as applications of mathematics.
Holds
A persistently rising dividend yield eventually forces capital appreciation as the market rerates the stock.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds
A tossed coin is more likely to land on the same face it started on than on the opposite face.
Holds
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds
Admissions committees for economics PhD programs are perhaps excessively fond of mathematics on transcripts
Holds
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds
A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck.
Holds
A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known.
Holds
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.
Holds
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.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds
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.
Holds
Acquiring insight into how things work is a worthwhile effort in itself, not only for any payoff
Holds
Advancing in life depends more on what one learns later than on what one already knows
Holds