HN Explorer

pfdietz

↗ HN profile [ 118 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Classification of Finite Simple Groups Formalized in Lean (cfsg.axiommath.ai)
    7 points 81
  2. Hexagon (antieau.github.io)
    1 points 1
  3. Erdosproblems.com Succumbs to the AI Onslaught (erdosproblems.com)
    1 points 54
  4. Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI (twitter.com)
    2 points 0
  5. The End of the Age of Heroes (noahpinion.blog)
    6 points 0
  6. AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
    14 points 3
  7. Sucralose-6-acetate is genotoxic (2023) (tandfonline.com)
    2 points 1
  8. Math, Inc (math.inc)
    1 points 0
  9. The time I didn't meet Jeffrey Epstein (scottaaronson.blog)
    389 points 76
  10. Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
    4 points 0
  11. Compiler Engineering In Practice – Part 2: Why is a compiler? (chisophugis.github.io)
    1 points 0
  12. Objects ejected from nearby stars in our solar system now [video] (youtube.com)
    1 points 2
  13. Higher Thermal Conductivty Than Diamond Found in Boron Arsenide (sciencedaily.com)
    6 points 2
  14. Why humanity will shrink far sooner than we thought [video] (youtube.com)
    2 points 0
  15. Planet Y: New Earth sized hypothetical planet in the Kuiper Belt (livescience.com)
    3 points 1
  16. Tech can fix most of our problems (if we let it) (noahpinion.blog)
    1 points 2
  17. The Source of Europe's Mild Climate (2006) (americanscientist.org)
    3 points 0
  18. Standard Thermal: Energy Storage 500x Cheaper Than Batteries (austinvernon.site)
    251 points 51
  19. New Study Solves the Bronze Age 'Tin Problem' [video] (youtube.com)
    2 points 0
  20. Integrity assessment of Tokamak-type fusion reactor structures (linkedin.com)
    3 points 1
  21. Fervo Energy Drills 15,000', 520 F Geothermal Well in 16 Drilling Days (businesswire.com)
    23 points 20
  22. Plato got virtually everything wrong (2018) (prospectmagazine.co.uk)
    68 points 106
  23. Colibactin, the bacterial genotoxin implicated in colon cancer in young adults (opb.org)
    2 points 0
  24. Why Are Birthrates Plummeting Worldwide? [video] (youtube.com)
    4 points 0
  25. What It Would Take for the U.S. Dollar to Collapse (investopedia.com)
    56 points 15