Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

	Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample(chatgpt.com)
	1114 points by gmays 49 days ago \| 636 comments
	tl;dr: Summary not available
	HN Discussion: ↑Tao's expert prompting demonstrates how much value experts can extract from LLMs ↑The AI performs as a near-equal collaborator to a top mathematician •Mathematical notation and jargon make the transcript impenetrable to non-experts ↑Amazed at the rapid progress of LLMs and excited for the future ~Wry observation that even geniuses get walls of LLM output from short prompts