HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://spectrum.ieee.org/axiom-math-246-theorem-formalization

Current story

#
AI Used to Verify Toughest Mathematics Proof Yet(spectrum.ieee.org)
HN #49,363,0352026-08-19 15:40 UTC
2 pointsby surprisetalk24 days ago0 comments

Prior reposts (1 of 2 total)

#
AI Used to Verify Toughest Mathematics Proof Yet(spectrum.ieee.org)
HN #49,343,9572026-08-18 11:10 UTC
1 pointsby pseudolus25 days ago0 comments