Tech News
clear
Topic Analysis: Today This Week This Month This Year
1.
Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam (venturebeat.com)
2.
The Math Legend Who Just Left Academia—for an AI Startup Run by a 24-Year-Old (feeds.content.dowjones.io)
3.
DeepSeek’s self-correcting AI model aces tough maths proofs (feeds.nature.com)
4.
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (news.ycombinator.com)
5.
DeepMind’s latest: An AI for handling mathematical proofs (arstechnica.com)
6.
Project Euler (news.ycombinator.com)
7.
The Grammar According to West (news.ycombinator.com)
8.
Google DeepMind makes AI history with gold medal win at world’s toughest math competition (venturebeat.com)
9.
Gemini with Deep Think achieves gold-medal standard at the IMO (news.ycombinator.com)
10.
Gemini with Deep Think officially achieves gold-medal standard at the IMO (news.ycombinator.com)
11.
New Apple study challenges whether AI models truly “reason” through problems (arstechnica.com)
Today's top topics: apple android google phone game archive files iphone camera launch
View all today's topics →