korrents

← His prediction that research-level mathematics papers would be written…

On the map

8 connected korrents · 6 moments on record from 1 Oct 2024 to 1 Sept 2026.

Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject His prediction thatresearch-level mathematicspapers would be written in… TT Terence Tao — holds since 2025-06-14 Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn. Within a couple ofdecades there will not… PG Paul Graham — holds since 2024-10-01 Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. Future AI, say infifteen years, will not… FC François Chollet — holds since 2026-08-07 Large language models could still plateau, and that possibility should be held open even though no evidence of it has appeared. Large language modelscould still plateau… DH David Heinemeier Hansson — holds since 2026-08-26 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 couldpropose a conjecture… TT Terence Tao — holds since 2025-06-14 Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. Lean and tools likeGitHub will let… TT Terence Tao — holds since 2025-06-14 The stable one-profession career is becoming a thing of the past; what will still be needed alongside AI is reasoning with abstractions and problem-solving when things go wrong. The stableone-profession career… TT Terence Tao — holds since 2025-06-14 The prediction that 90% of code will be AI-written by the end of 2025 deserves skepticism, though manual programming may yet become a horse: ridden for love, not transport. The prediction that 90%of code will be… DH David Heinemeier Hansson — holds since 2025-07-12 No one fully understands the consequences of how capable AI is becoming. No one fullyunderstands the… SA Sam Altman — holds since 2026-09-01
same subject