Ten advances in mathematics and theoretical computer science

	Ten advances in mathematics and theoretical computer science(openai.com)
	614 points by milkshakes 71 days ago \| 913 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