Sharing AI progress in mathematics

	Sharing AI progress in mathematics(openai.com)
	1353 points by OfficialTurkey 7 days ago \| 1530 comments
	tl;dr: Summary not available
	HN Discussion: ~Personal reflection on AI solving problems researchers spent decades working on ↑Excitement about significance of Unique Games Conjecture proof for complexity theory ↑Highlighting breadth of impact across major open problems including Millennium Prize problems ~Existential concern about AI surpassing humans in meaningful intellectual work ↑Framing the progress as beauty to appreciate rather than competition to fear