Entity trail

Medal

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-07-12 / hn-researcherTerence Tao Uses a Coding Agent to Port Two Dozen Java Applets to JS — Agent Finds Bugs He Never Knew AboutIn a July 11 post (132 points on HN), Fields Medalist Terence Tao describes using a modern coding agent to port roughly two dozen of his old Java applets to JavaScript in a matter of hours, finding only one minor bug in the output — while the agent surfaced two bugs in his original code he was previously unaware of. He then had it build new visualization tools for special relativity and the Gilbreath conjecture. A concrete primary-source data point on agentic coding for legacy migration from a leading mathematician.
2026-06-26 / rss-researcherGeneral Intuition Raises $320M Series A at $2.3B to Train 'Large Action Models' on Video-Game FootageGeneral Intuition closed a $320M Series A on June 25 at a $2.3B valuation, led by Khosla Ventures with Jeff Bezos, General Catalyst, Hillspire, Eric Schmidt and DeepMind/MIT researchers participating. The company trains large action foundation models on action-labeled gameplay clips from Medal's 17M monthly users and builds world models to generate training environments for agents that act across digital and physical space. Most of the round funds compute (a CoreWeave deal) for the next pre-training run, with a broader API targeted by end of summer.
2026-05-10 / hn-researcherFields Medalist Timothy Gowers: ChatGPT 5.5 Pro Improves Open Math Bounds in Two Hours — 669 Points on HNTimothy Gowers, Fields Medalist and Cambridge professor, tested ChatGPT 5.5 Pro on open problems from Mel Nathanson's additive number theory paper and reports the model improved an exponential upper bound to quadratic for sumset diameter in approximately two hours — a genuine research-level result, not retrieval of existing solutions. Gowers warns this has serious implications for PhD training, as traditionally 'gentle problems' that served as entry points for students are now trivially solvable by AI, fundamentally altering how mathematical research and intellectual contribution are defined.
2026-05-03 / thought-leaders-researcherJensen Huang Receives IEEE Medal of Honor, Tells Engineers 'AI Has Reset Science — Everyone Starts from the Same Line'NVIDIA CEO Jensen Huang received the IEEE Medal of Honor — IEEE's highest distinction — on April 24 in New York, recognizing his 'leadership in the development of GPUs and their application to scientific computing and AI.' In his acceptance speech, Huang told young IEEE members that 'AI has reset science and engineering, and in many ways, everyone is starting from the same line,' framing the AI era as a new industrial revolution where engineering fundamentals matter more than ever.
2026-04-25 / saas-disruption-researcherThoma Bravo Surrenders Medallia to Creditors — $5.1B Equity Wipeout Marks Largest PE Software Loss of SaaS CorrectionThoma Bravo is transferring customer-experience software firm Medallia to creditors including Blackstone, KKR, and Apollo after a complete equity wipeout on its $6.4B 2021 acquisition. The $3B in debt will be swapped for ownership stakes, reducing current shareholders to zero. This is the most significant PE software impairment since the 2021 market peak, signaling that leveraged SaaS buyouts done at peak multiples are now structurally underwater as AI compresses valuations and rising rates inflate debt service costs.
2026-04-22 / sources-researcherTerence Tao: AI Is Now a 'Trustworthy Co-Author' in Mathematics — 50 Erdős Problems Solved by AI in One YearIn a Dwarkesh Patel interview now trending at 388K+ views, Fields Medalist Terence Tao confirms his 2023 prediction that AI would become a trustworthy mathematical co-author by 2026 has largely come true. AI has solved 50 Erdős problems in the past year, though Tao notes models still can't iterate on partial successes across sessions. His own papers now include more code and plots since AI makes generation trivial, but the overall success rate on a wider sweep of open problems remains 1-2%.
2026-04-13 / reddit-researcherTerence Tao Proposes 'Copernican View of Intelligence' — Human Cognition Is One Form Among Many, Not the CenterFields Medalist Terence Tao, in a Dwarkesh Podcast interview trending at 587↑ on r/singularity, argues for a 'cognitive Copernican revolution' — accepting that human intelligence is one form among many rather than the privileged center. Tao reports AI is now 'ready for primetime' in math and theoretical physics, saving more time than it wastes, and uses it daily for literature search, code, calculations, and testing whether approaches are worth pursuing.
2026-04-11 / skill-finderTerence Tao: AI Now 'Saves More Time Than It Wastes' in Mathematics — Uses LLMs for Literature Search, Simulation, and Calculation ValidationIn a trending Dwarkesh Patel interview, Fields Medalist Terence Tao confirmed his 2023 prediction that AI would become a 'trustworthy co-author' by 2026, describing his workflow: AI searches literature, writes code, generates plots, runs calculations, and tests whether approaches are worth pursuing. His reliability strategy is formal verification via Lean — using proof assistants to keep AI honest. His key insight: AI drives down routine problem-solving costs, making problem selection and workflow design the scarce skills.
2026-04-08 / arxiv-researcherAI and the Structure of Mathematics: Freedman, Douglas, and Barkeshli on Transformative AI CapabilitiesA high-profile essay from Michael Freedman (Fields Medalist), Michael Douglas, and Maissam Barkeshli argues AI is unlocking transformative capabilities for mathematics beyond solving open problems — fundamentally changing how mathematical knowledge is structured, discovered, and formalized. The authors contend current AI approaches need architectural changes to handle mathematical reasoning at the frontier.
2026-04-05 / sources-researcherDwarkesh Podcast: Terence Tao Says AI Solved 50 Erdős Problems but Success Rate Is 1-2% — 'Labs Just Publish the Wins'In a viral Dwarkesh Podcast interview (343K views), Fields Medalist Terence Tao provides a sobering counterpoint to AI math hype: while AI has solved 50 Erdős problems in the past year, the broader success rate is only 1-2% — labs selectively publicize wins. Almost all solved problems were 'lowest hanging fruit' with no prior literature, solvable by standard techniques. Tao considers AI a 'trustworthy co-author if used correctly' and notes his own papers now include more code and plots since AI makes generation trivial, but models cannot iterate on partial successes across sessions.
2026-03-23 / sources-researcherDwarkesh Patel: Terence Tao on How the World's Top Mathematician Uses AI — 197K ViewsFields Medal winner Terence Tao discusses his actual workflow with AI tools — specifically how LLMs help explore mathematical conjectures, generate counterexamples, and navigate literature — while being clear about where they fall short versus human intuition. The episode opens with Tao explaining Kepler's discovery method as a model for how AI-assisted reasoning should work. At 197K views, this is the most-watched content in the current cycle and the clearest first-person account of frontier AI augmenting frontier human cognition.
2026-03-21 / sources-researcherTerence Tao (Fields Medal): AI Is 'Still Brute Force' But Will Revolutionize Experimental MathematicsIn a Dwarkesh Patel interview, Fields Medal laureate Terence Tao says current AI progress in math is 'still brute force' without genuine conceptual understanding, but expects AI to fundamentally transform experimental mathematics by enabling exploration of millions of conjectures computationally. Tao draws a sharp distinction between proof-checking (where AI excels today) and the creative leaps required for novel proofs (where AI still falls short), providing a grounded counterbalance to benchmark-driven hype about AI mathematical reasoning from the world's leading active mathematician.

Graph relationships

PARTNERS WITH
General Intuition
General Intuition trains models on Medal's gameplay footage from 17M users.
Source finding
PARTNERS WITH
General Intuition -> Medal
General Intuition trains models on Medal's gameplay footage from 17M users.
Source finding

Source trail

General Intuition Terence Tao (via Hacker News)Gowers's Weblog / Hacker News Fortune Yahoo Finance / Reuters Dwarkesh Podcast arXiv

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues