Tap a claim on the ring to put it at the centre.
← This decade, AI could propose a conjecture connecting two things…
17 connected korrents · 17 moments from 7 Sept 2008 to 24 Aug 2026.
Everything filed under AI and science
AI and science
Everything filed under LLMs
LLMs
Everything filed under mathematics
mathematics
Everything filed under AGI
AGI In tension In tension 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: This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful. This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
In tension: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
In tension: Current AI models cannot produce insights beyond human understanding, however impressive they seem — tap to centre the map on it Current AI models cannot produce insights beyond human understanding, however impressive they seem Last stated a year ago
23 Jun 2025
EM
Ethan Mollick — holds since 2025-06-23 — tap for who they are
Same subject: As AI advances, thinking philosophically about its implications will become a common job and pastime for large numbers of people. — tap to centre the map on it As AI advances, thinking philosophically about its implications will become a common job and pastime for large numbers of people. Last stated 2 months ago
24 Aug 2026
JC
Jack Clark — holds since 2026-08-24 — 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: Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. — tap to centre the map on it Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: AI is likely to help people be smarter. — tap to centre the map on it AI is likely to help people be smarter. Last stated 3 years ago
14 May 2023
JG
John Graham-Cumming — holds since 2023-05-14 — tap for who they are
Same subject: Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. — tap to centre the map on it Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. Last stated 3 years ago
13 Dec 2023
SA
Scott Aaronson — holds since 2008-09-07 — tap for who they are
SA
Scott Aaronson — no longer holds since 2023-12-13 — tap for who they are
Same subject: Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends. — tap to centre the map on it Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends. Last stated 2 months ago
12 Aug 2026
CM
Charity Majors — holds since 2026-08-12 — tap for who they are
Same subject: AI has changed software development enough that some old assumptions about it no longer hold. — tap to centre the map on it AI has changed software development enough that some old assumptions about it no longer hold. Last stated 9 months ago
15 Jan 2026
SK
Steve Klabnik — holds since 2026-01-15 — tap for who they are
Same subject: The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. — tap to centre the map on it The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. Last stated 2 months ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — 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: Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. — tap to centre the map on it Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. — tap to centre the map on it AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. Last stated 11 months ago
23 Nov 2025
EH
Elliot Hershberg — holds since 2025-11-23 — tap for who they are
Same subject: AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. — tap to centre the map on it AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. Last stated 2 years ago
19 Sept 2024
DL
Derek Lowe — holds since 2024-09-19 — tap for who they are
Same subject: As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves. — tap to centre the map on it As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves. Last stated 2 months ago
17 Aug 2026
JC
Jack Clark — holds since 2026-08-17 — tap for who they are
At the centre
This decade, AI could propose a conjecture connecting two things nobody thought were related, with a real chance of it being correct and meaningful.
Holds Read this korrent →
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds
Current AI models cannot produce insights beyond human understanding, however impressive they seem
Holds
As AI advances, thinking philosophically about its implications will become a common job and pastime for large numbers of people.
Holds
It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it.
Holds
Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job.
Holds
AI is likely to help people be smarter.
Holds
Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate.
No longer holds
Neither the AI enthusiasts nor the AI sceptics are making it up; both camps are looking at real trends.
Holds
AI has changed software development enough that some old assumptions about it no longer hold.
Holds
The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone.
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
Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics.
Holds
AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points.
Holds
AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work.
Holds
As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves.
Holds