Project ideas from Hacker News discussions.

We're gonna need a lot more mathematicians

📝 Discussion Summary (Click to expand)

Theme 1: Economic transformation toward abundance

"If AI leads to an era of abundance, then the economic system has to change." – siavosh

Theme 2: Human meaning and purpose in an AI‑augmented world

"The experience is different than my work because it’s been such a joy to basically have a personal genie in a bottle help me make some personal art with a loved one." – siavosh

Theme 3: Concerns about job displacement and economic redundancy

"Everybody else is then 'economically redundant', and the whole system collapses because people aren’t going to sit around and starve…" – int_19h

Theme 4: Need for human verification and trust in AI outputs

"If we find no flaws in the design whatsoever, will we be less careful about the second one? The third one? What about the ten thousandth one?" – pyridines

Theme 5: The role of human intellectual communities to understand AI breakthroughs

"I have in mind something like a 'deployable intellectual reserve': communities of mathematically sophisticated people that humanity can call upon to help understand consequential AI‑enabled breakthroughs." – Amit Sahai (guest post on Terence Tao’s blog)


🚀 Project Ideas

VerifAI: Collaborative Verification Platform for AI-Generated Scientific Designs

Summary

  • A collaborative platform where experts can annotate, test, and formally verify AI-generated scientific designs (e.g., fusion plant schematics, mathematical proofs) before deployment.
  • Core value: Reduces risk of blind trust in AI by providing human‑in‑the‑loop verification workflows, versioned review, and automated proof‑checking integration.

Details

| Target Audience | Engineers, scientists, and safety reviewers working on high‑stakes AI‑generated designs (energy, aerospace, biotech) | | Core Feature | Web‑based notebook‑style interface that lets users upload AI output, add comments, run simulations, and attach formal verification artifacts (Lean, Coq, or SMT proofs); includes reputation scoring and change‑diff tracking | | Tech Stack | React + TypeScript frontend, Node.js/Express backend, PostgreSQL, Docker; optional Lean 4 WASM integration | | Difficulty | Medium | | Monetization | Hobby | |

Read Later