Tap a claim on the ring to put it at the centre.
← AI agents are going to have major consequences for how mathematics research is done.
17 connected korrents · 14 moments on record from 15 Jul 2021 to 9 Sept 2026. Nearly all of them are about AI agents .
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under HuggingFace
HuggingFace
Everything filed under self-sovereign AI
self-sovereign AI
Everything filed under energy
energy
Everything filed under Microsoft
Microsoft
Everything filed under coding agents
coding agents 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: AI agents are going to have major consequences for how mathematics research is done. AI agents are going to have major consequences for how mathematics research is done. Last stated 2 weeks ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: AI agents are starting to have a major positive impact on mathematical research. — tap to centre the map on it AI agents are starting to have a major positive impact on mathematical research. Last stated 2 months ago
15 Jul 2026
PW
Peter Woit — holds since 2026-07-15 — tap for who they are
Same subject: AI agents have not yet produced anything genuinely new or important in mathematics. — tap to centre the map on it AI agents have not yet produced anything genuinely new or important in mathematics. Last stated 2 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — tap for who they are
Same subject: Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. — tap to centre the map on it Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods. Last stated 2 weeks ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 4 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. — tap to centre the map on it A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong. Last stated 6 months ago
22 Mar 2026
NF
Nicole Forsgren — holds since 2026-03-22 — tap for who they are
Same subject: A whistleblowing channel for AI agents changes nothing unless someone or something in the environment acts on the reports. — tap to centre the map on it A whistleblowing channel for AI agents changes nothing unless someone or something in the environment acts on the reports. Last stated 3 weeks ago
31 Aug 2026
RK
Rohit Krishnan — holds since 2026-08-31 — tap for who they are
Same subject: Agentic organisations will be forkable in a way that classical companies never were. — tap to centre the map on it Agentic organisations will be forkable in a way that classical companies never were. Last stated 6 months ago
11 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-11 — tap for who they are
Same subject: AI agents and AI coding will run on servers and from the cloud first, not on your laptop. — tap to centre the map on it AI agents and AI coding will run on servers and from the cloud first, not on your laptop. Last stated 3 months ago
28 Jun 2026
PL
Pieter Levels — holds since 2026-06-28 — tap for who they are
Same subject: A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses. — tap to centre the map on it A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses. Last stated 3 weeks ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself. — tap to centre the map on it A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself. Last stated 3 weeks ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months. — tap to centre the map on it If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months. Last stated 3 weeks ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — 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: By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group. — tap to centre the map on it By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group. Last stated a month ago
19 Aug 2026
DT
Derek Thompson — holds since 2026-08-19 — tap for who they are
Same subject: Frontier AI labs such as Anthropic likely have had internal security incidents similar to OpenAI's HuggingFace attack that were never publicly disclosed. — tap to centre the map on it Frontier AI labs such as Anthropic likely have had internal security incidents similar to OpenAI's HuggingFace attack that were never publicly disclosed. Last stated 3 weeks ago
31 Aug 2026
ZM
Zvi Mowshowitz — holds since 2026-08-31 — tap for who they are
Same subject: The AI models involved in the HuggingFace hack incident were severely misaligned, not merely victims of process failures. — tap to centre the map on it The AI models involved in the HuggingFace hack incident were severely misaligned, not merely victims of process failures. Last stated 3 weeks ago
29 Aug 2026
ZM
Zvi Mowshowitz — holds since 2026-08-29 — tap for who they are
At the centre
AI agents are going to have major consequences for how mathematics research is done.
Holds Read this korrent →
AI agents are starting to have a major positive impact on mathematical research.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
Holds
Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods.
Holds
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A handful of AI agents is not a handful of colleagues, because agents agree with you constantly and colleagues tell you where you are wrong.
Holds
A whistleblowing channel for AI agents changes nothing unless someone or something in the environment acts on the reports.
Holds
Agentic organisations will be forkable in a way that classical companies never were.
Holds
AI agents and AI coding will run on servers and from the cloud first, not on your laptop.
Holds
A rogue deployment that gets a foothold can hitch a ride on the intelligence explosion, recruiting each new model as it comes off the presses.
Holds
A slightly more capable agent swarm has a very strong incentive to set up a wholly unmonitored rogue deployment of itself.
Holds
If frontier agents cannot yet establish a covert, persistent rogue deployment, they very likely will be able to within six months.
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
By 2027, open-weight AI models more powerful than today's frontier systems will be downloadable by any country or well-resourced non-state group.
Holds
Frontier AI labs such as Anthropic likely have had internal security incidents similar to OpenAI's HuggingFace attack that were never publicly disclosed.
Holds
The AI models involved in the HuggingFace hack incident were severely misaligned, not merely victims of process failures.
Holds