demirbey05
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Show HN: Erdös Problem Solver Agent (github.com)
I developed small cli agent for solving erdös problems. It's still immature but planning to add tools but before going into project I just wanted to measure impact by putting it HN. Open to feedback and suggestions.
- Self-Learning Master's Curriculum for AI (github.com)
- Is AI solving open Erdős problems? (zeyu-zheng.github.io)
- OpenAI Board Member Zico Kolter's Modern AI Course (modernaicourse.org)
-
I am seeing many people are so excited about AI, especially OpenAI employees who have stakes in it. I am thinking such AI's economic impact will be devastating. It's okay to be excited if you have a stake in it or you…
-
What do you think? Should we spend time reading Python, Rust, etc. books or focus on CS concepts?Are you reading any coding books after LLMs?
- OpenAI Won Gold Medal in IOI (twitter.com)
- Transformers Tutorial (github.com)
- PyTorch Reshaping with None (blog.detorch.xyz)
-
I built Podco, an AI-powered tool that helps you learn from educational videos (lectures, podcasts, etc.) more effectively. How it works: 1. Paste a YouTube (or other) video URL 2. AI converts the video into a…
- Operating Systems: A Linux Kernel-Oriented Perspective (cse.iitd.ac.in)
- The Future of Math with O1 Reasoning with Terence Tao (youtube.com)
- o1 pro Putnam 2024 Answers (twitter.com)