Ten advances in mathematics and theoretical computer science

	Ten advances in mathematics and theoretical computer science(openai.com)
	561 points by milkshakes 20 hours ago \| 848 comments
	tl;dr: Summary not available
	HN Discussion: ↑AI progress is undeniably accelerating and skeptics are running out of goalposts to move ↓Marketing language may be exaggerating whether these are genuinely novel mathematical contributions ~LLMs enable computational grinding to disprove conjectures but still lack intuition for new ones •Sharing supplementary resources like Lean formalizations, expert commentary, and visualizations ~Questions why frontier math breakthroughs haven't yet translated to expected software performance gains