DeepSeek-Prover-V2 - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on DeepSeek-Prover-V2. Parent comment

Re:DeepSeek-Prover-V2 by energy123 on Wednesday April 30, 2025 @12:57PM (#43847957)

It's crudely done though.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Have you noticed an increase of rejections when sending to Yahoo email?
Second Anti Virus Software?
Has AI coding changed who builds your internal tools?
What % of HN is now AI-generated?
What do you all use to share context with team mates?
Microsoft/Azure Outage?

Show HN

Bricksentry – see what a data change does before it ships (Databricks)
KittyBrowser, I built a web browser in your terminal
AgentLeak – open-source privacy testing for multi-agent LLM systems
A shared live Etch A Sketch – one continuous line, or draw via API
Autoresearch, but for Weight Space Programming
Mockingboard Revisited – 1983 Apple II Dual AY-3-8910 Chiptune Synth

Jobs

Tinfoil (YC P25) is hiring an applied AI security engineer in San Francisco
Y/N (YC S23) Is Hiring a Growth Lead to Distribute Superhuman A.I. Storytelling
UpCodes (YC S17) is hiring SDR's to sell AI compliance software
Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.