y0news
AnalyticsDigestsSourcesTopicsRSSAICrypto

#machine-learning News & Analysis

Coverage of #machine-learning spans 2,608 indexed articles, with 262 pieces published in the last month. Recent discussion shows 55.7% bullish sentiment, though this represents a 5.3 percentage point decline from the previous quarter, suggesting a modest cooling in tone. Research publications dominate the discourse, particularly through arXiv's computer science and AI sections, while conversations frequently center on models and platforms including Llama, Meta, and Gemini. Related coverage tends to intersect with #research, #ai-research, and #llm discussions. Scan the article list below to explore the latest developments and perspectives.

sentiment · last 30d (262 articles) · -5.3pp bullish vs prior 90d
Top sources:arXiv – CS AI · 1922Apple Machine Learning · 14Crypto Briefing · 10MarkTechPost · 8Hugging Face Blog · 6
Often co-tagged with:#research#ai-research#llm#arxiv#computer-vision#reinforcement-learning
Most-discussed entities:Llama · 23Meta · 17Gemini · 15GPT-4 · 14GPT-5 · 13
4573 articles
AIBullisharXiv – CS AI · Jun 126/10
🧠

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

Pythagoras-Prover introduces a family of efficient Lean theorem provers that achieve state-of-the-art performance with significantly fewer parameters than existing models, using novel training techniques including curriculum learning and augmented data generation. The 4B-parameter model outperforms DeepSeek-Prover-V2-671B by 167x parameter efficiency, while the 32B model sets new benchmarks on formal mathematics tasks.

← PrevPage 60 of 183Next →