HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
HunyuanProver is a language model fine-tuned from the Hunyuan 7B for interactive automatic theorem proving in LEAN4. To address data sparsity, it uses a scalable framework for…
STEM is so cool. Science is amazing. Kids should develop curiosity about how the universe works and proficiency in uncovering its secrets, so that they can most effectively optimize clickthrough rates on banner ads at the bottom of VC-funded website-apps.
"Build your own os
Build your own game engine
Build your own database
Build your own compiler
Build your own virtual machine
Build your own web server"
You all know that whoever ships the first reasonable (not even good) OS built 100% around LLMs (deeply integrated in the kernel) will be ultra-rich right? Just making sure. I'm not going to do it ofc but I can't wait to *actually* never use a mouse again
top schools like harvard are basically like top tier vc funds.. they invest in the top 3% of people and give them resources/connections. The 1% that get rich and donate, return their entire endowment
go dark.
turn off the phone.
build something.
obsess over your company,your work
dedication over distraction creates magic.
silence is a tool for creating.
but most won’t give up attention for devotion and that’s why they never reach their true true potential 🌊
Customize GPT-4o mini for your application with fine-tuning. Available today to tier 4 and 5 users, we plan to gradually expand access to all tiers. First 2M training tokens a day are free, through Sept 23.
platform.openai.com/docs/guides/fi…
someone:
so what do you do for a living?
me:
every couple of months, I shut myself in my apartment for a week and find a code mistake that some poor developer made, and then they have to pay me the big bucks.
3 Followers 172 FollowingRecruiting webshell engineers to pen etrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/yjv5sCo9Bu
988 Followers 892 FollowingCo-Founder ShowUp Club Discord community.
Web3 Security Researcher and Marketing Creative.
Full-time web2dev. Writer by Soul.
Member of CrimsonRat @thereachlabs
1K Followers 2K FollowingSecurity Researcher Web2 and Web3.
Embracing the freedom of an undefined journey, where the absence of constraints unleashes limitless possibilities.
43K Followers 3K FollowingWe're in a race. It's not USA vs China but humans and AGIs vs ape power centralization.
@deepseek_ai stan #1, 2023–Deep Time
«C’est la guerre.» ®1
19K Followers 426 FollowingWe back dropouts, renegade students, and deep tech scientists at the earliest stages, before anybody else. Want to chat? Reach out:👇
1.4M Followers 1K FollowingBuilding @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
21K Followers 4 FollowingTeaching the next generation of web3 developers.
150+ hours of Smart Contract Development and Security Courses, completely for Free.
Powered by @cyfrinaudits
8K Followers 2K FollowingIndependent Smart Contract Researcher & Researcher at @ShieldifySec
My mission is to find vulnerabilities in smart contracts for a safer Web3 Space!
406K Followers 531 FollowingSharing insights on AI, Tech Trends, Online Business & Productivity • I help people master AI, Tech Tools & Digital Skills • AI Educator & Writer @theprohumanai
12K Followers 99 FollowingExploring the Future of Work with AI | Project Management Enthusiast | Sharing Smart Systems, Tools & Automations | Let Curiosity Lead 🚀