Hackernews posts about Gödel

Gödel is Kurt Friedrich Gödel, an Austrian mathematician and logician who made groundbreaking contributions to the fields of mathematics, philosophy, and computer science in the early 20th century.

1. Gödel's theorem debunks the most important AI myth – Roger Penrose [video] (www.youtube.com)
   195 points by Lockal 4 days ago | 429 comments
2. Gödel's Loophole (en.wikipedia.org)
   6 points by 1970-01-01 16 days ago | discuss
3. Gödel's Loophole (en.wikipedia.org)
   6 points by croes 24 days ago | discuss
4. Gödel's Loophole (en.wikipedia.org)
   3 points by ttctciyf 26 days ago | discuss
5. Gödel's Loophole ("inner contradiction" in the US Constitution) (en.wikipedia.org)
   2 points by internet_points 24 days ago | discuss
6. Strauss–Howe Generational Theory (en.wikipedia.org)
   1 points by godelmachine about 2 hours ago | discuss
7. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving [pdf] (arxiv.org)
   6 points by bikenaga 22 days ago | 2 comments
8. Show HN: Create Beautiful Music Visualizers (chimp.video)
   5 points by godlabs 26 days ago | discuss
9. Zed now predicts your next edit with Zeta, our new open model (zed.dev)
   516 points by ahamez 21 days ago | 290 comments
10. Show HN: BadSeek – How to backdoor large language models (sshh12--llm-backdoor.modal.run)
    461 points by sshh12 14 days ago | 89 comments
11. To buy a Tesla Model 3, only to end up in hell (www.myteslaexperience.com)
    457 points by lleims 25 days ago | 570 comments
12. Train Your Own O1 Preview Model Within $450 (sky.cs.berkeley.edu)
    429 points by 9woc 14 days ago | 69 comments
13. MIT 6.S184: Introduction to Flow Matching and Diffusion Models (diffusion.csail.mit.edu)
    397 points by __rito__ 4 days ago | 24 comments
14. DeepScaleR: Surpassing O1-Preview with a 1.5B Model by Scaling RL (pretty-radio-b75.notion.site)
    322 points by sijuntan 23 days ago | 127 comments
15. Magma: A foundation model for multimodal AI agents (microsoft.github.io)
    305 points by SerCe 15 days ago | 68 comments
16. Helix: A vision-language-action model for generalist humanoid control (www.figure.ai)
    303 points by Philpax 15 days ago | 170 comments
17. Replace OCR with Vision Language Models (github.com)
    292 points by EarlyOom 8 days ago | 125 comments
18. TeX and Typst: Layout Models (2024) (laurmaedje.github.io)
    240 points by fngjdflmdflg 22 days ago | 38 comments
19. BYD to offer Tesla-like self-driving tech in all models for free (www.asiafinancial.com)
    185 points by senti_sentient 23 days ago | 310 comments
20. PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models (arxiv.org)
    174 points by enum 25 days ago | 80 comments
21. GPT-4.5: "Not a frontier model"? (www.interconnects.ai)
    166 points by pama 5 days ago | 157 comments
22. Dogs may have domesticated themselves because they liked snacks, model suggests (www.livescience.com)
    162 points by Stratoscope 10 days ago | 171 comments
23. AMD Announces "Instella" Open-Source 3B Language Models (www.phoronix.com)
    161 points by rbanffy about 16 hours ago | 53 comments
24. Pre-Trained Large Language Models Use Fourier Features for Addition (2024) (arxiv.org)
    149 points by Kye 29 days ago | 40 comments
25. Volkswagen seeks to counter rivals with budget EV model (www.ttnews.com)
    143 points by herbertl 1 day ago | 187 comments
26. Benchmarking vision-language models on OCR in dynamic video environments (arxiv.org)
    142 points by ashu_trv 21 days ago | 58 comments
27. Revenge of the GPT Wrappers: Defensibility in a world of commoditized AI models (andrewchen.substack.com)
    135 points by kiyanwang 28 days ago | 44 comments
28. Google Titans Model Explained: The Future of Memory-Driven AI Architectures (medium.com)
    127 points by cmbailey 17 days ago | 34 comments
29. Putting Andrew Ng's OCR models to the test (www.runpulse.com)
    124 points by ritvikpandey21 7 days ago | 61 comments
30. LM2: Large Memory Models (arxiv.org)
    110 points by fzliu 21 days ago | 30 comments