Hackernews posts about Txeo

1. Ten advances in mathematics and theoretical computer science (openai.com)
   632 points by milkshakes 17 days ago | 942 comments
2. Ten advances in mathematics and theoretical computer science (openai.com)
   464 points by milkshakes 20 days ago | discuss
3. Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
   105 points by surprisetalk 24 days ago | 114 comments
4. TheoremDB – A public workspace for machine mathematics (theoremdb.org)
   104 points by frozenseven 12 days ago | 20 comments
5. Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
   71 points by nsoonhui 28 days ago | 46 comments
6. Andrew Wiles on proving Fermat’s Last Theorem (1995) [video] (www.youtube.com)
   69 points by jackdoe 14 days ago | 42 comments
7. The Computational Theory of Mind (2015) (plato.stanford.edu)
   68 points by cyanregiment 18 days ago | 72 comments
8. Theory of Fluids Enters the 21st Century (www.quantamagazine.org)
   60 points by librasteve 3 days ago | 5 comments
9. The Sylvester–Gallai Theorem (www.futilitycloset.com)
   36 points by surprisetalk 21 days ago | 51 comments
10. A theory for decades of C vulnerabilities (strawberry9.github.io)
    35 points by SilentLambda 4 days ago | 18 comments
11. Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (firstprinciples.com)
    35 points by otalp 22 days ago | 9 comments
12. 15-Year-Old Alan Turing's Notebook Summary of Relativity Theory (turingarchive.kings.cam.ac.uk)
    26 points by tylerdane 21 days ago | 6 comments
13. Xenharmlib (music theory library) adds support for Just Intonation (xenharmlib.readthedocs.io)
    19 points by retooth 23 days ago | 3 comments
14. Without a Theory of Intelligence (kk.org)
    19 points by Tomte 4 days ago | discuss
15. The Capital Cycle Theory (s-1.vercel.app)
    18 points by _air 2 days ago | 2 comments
16. Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof (philarchive.org)
    14 points by gone35 18 days ago | 4 comments
17. There are two kinds of theorems (blog.plover.com)
    14 points by Brajeshwar 9 days ago | 1 comments
18. Dead Internet Theory was right: AI agents are eating Web, growing nearly 8k% (fortune.com)
    14 points by pseudolus 27 days ago | discuss
19. Music Theory for Programmers (runjs.app)
    10 points by birdculture about 11 hours ago | discuss
20. Bitcoin BIP110 mandatory activation this Saturday, how game theory will unfold? (www.simondixon.com)
    9 points by slavgoyim 16 days ago | 4 comments
21. A Promising Heart Drug Fails, Challenging a Long-Held Theory of Disease (www.nytimes.com)
    8 points by elo2000 13 days ago | discuss
22. A Universal Theory of Brain Function [video] (www.youtube.com)
    8 points by binyu 15 days ago | discuss
23. New quantum gravity theory links entropy, dark energy, and life (www.sciencedaily.com)
    8 points by aard 29 days ago | discuss
24. Scientists support 150yo Darwinian theory with a carnivorous plant in China (www.livescience.com)
    7 points by gmays 2 days ago | discuss
25. Study: String theory finally testable thanks to AI (www.kcl.ac.uk)
    6 points by giuliomagnifico 15 days ago | 1 comments
26. Arthur Eddington's Theory of Everything (2015) (arxiv.org)
    6 points by lioeters about 13 hours ago | discuss
27. There are two kinds of theorems (blog.plover.com)
    6 points by mhb 7 days ago | discuss
28. Theory of Constraints (en.wikipedia.org)
    5 points by diatone 5 days ago | 1 comments
29. Artin-Schreier Theorem [pdf] (kconrad.math.uconn.edu)
    5 points by marysminefnuf 5 days ago | 1 comments
30. Cognition and consciousness arise from analog computations, says new theory (picower.mit.edu)
    5 points by arto about 11 hours ago | discuss