Recent submissions

Comment · 16 days ago
Comment · 5 months ago
Comment · 7 months ago
Comment · 11 months ago
"Recently, yet another category of low-hanging fruit has been identified as within reach of automated tools: problems which, due to a technical flaw in their description, are unexpectedly easy to resolve. Specifically, problem #124 https://www.erdosproblems.com/124 was a problem that was stated in three separate papers of Erdos, but in two of them he omitted a key hypothesis which made the problem a consequence of a known result (Brown's criterion). However, this fact was not noticed until Boris Alexeev applied the Aristotle tool to this problem, which autonomously located (and formalized in Lean) a solution to this weaker version of the problem within hours."

https://mathstodon.xyz/@tao/115639984077620023

Comment · 1 year ago
Comment · 2 years ago
Comment · 2 years ago
Comment · 3 years ago
Comment · 3 years ago
Comment · 6 years ago
Comment · 6 years ago
Comment · 6 years ago
Comment · 6 years ago
"indivisible and hence ultimately simple entity, such as an atom or a person."

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton