HackerTrans
TopNewTrendsCommentsPastAskShowJobs

d2049

no profile record

Submissions

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification

harmonic.fun
3 points·by d2049·12 месяцев назад·0 comments

comments

d2049
·10 месяцев назад·discuss
Reminder that Sam Altman chose to rush the safety process for GPT-4o so that he could launch before Gemini, which then led directly to this teen's suicide:

https://news.ycombinator.com/item?id=45026886