**Formal verification system significantly enhanced**
After extensive testing we discovered some entries in our ingestion of Mathlib got corrupted, and incorrect module paths was the most significant source of unverified claims.
Now this has been fixed you'll see a much more comprehensive coverage of claims from all over being verified formally!
Professor Yang-Hui will be testing and pushing Gaus at different levels starting from undergraduate upwards!
If you have any questions you'd like me to relay then let me know.
Also you may have noticed that our formal verification system has been down most the day as we've been deploying huge upgrades - will be running again soon & benchmarks to follow!
There is one key reason why Math-Hub will dominate the education space in a blink of an eye:
When you have a tool that you believe is the most efficient way to get deep understanding on complex topics (Math, Data Science, Programming, ....) this means you can completely ignore what school someone went to / what privileges they've had.
You can hire on CHARACTER, and then develop incredible technical ability at a fast rate using your own software.
But character is what this missions demands, you can't teach it, but you can sure find it in people from all over, surprisingly its much sparser than you'd expect in top schools.
The combination of efficiency & effectiveness of learning with our systems is the feedback we are getting the most from our early adopters, which only exists because of character: Grit, blinkers, innovation.
The future is sure exiting, but blink and you'll miss the journey... math-hub.org/
Soon we'll be welcoming professors to the channel as they test out & push the capabilities of Gaus! Alongside this, I'll be pushing the professors on their honest opinions on the future of research and learning with AI.
The Gaus fellows have now been selected and contacted. There were so many applications that I wanted to accept but currently as a small team with a small budget we had to make choices on factors like potential impact. But I'll be getting back to every applicant soon, hopefully the next wave of fellows will come thick and fast!
The first beat of the butterfly wing is underway, the next beat being what to many will currently be unimaginable...
Gaus' Pulse works away in the background whilst you sleep, analysing your recent learning across all your courses to tailor how the content of courses coming up is taught to you.
Learning styles, knowledge gaps however small, misunderstanding picked out from your sessions - all constantly making Gaus teach you optimally, for how you need to see the content.
Insights are leverages across your courses to help you see examples on weaknesses your struggling with in one area elsewhere.
If you an existing learner with Gaus, pulse is automatically enabled and you can opt out from your courses page.
Many of you will see delusion, but that's what it takes. In 1 year's time I'll re read this post knowing that:
- Universities & jobs now use people's learning history on Math-Hub, see how they've developed, how they think, their strengths and knowledge expertise
- We are in 1000+ schools & colleges, training the next wave of aspiring mathematicians with on-tap expert personalised tutoring up to and including PhD level
- We've integrated human thinking patterns into the current body of knowledge, and researchers now chat with Gaus in a collaboration of your mind with the rest of the world's greatest brains interwoven into arXiv, building new Mathematical horizons at an astonishing rate
Hi there, as term is about to start up again here in Cambridge I am looking for some support with editing. Proficiency in Blender is desirable. Please email thehonesttorus@gmail.com if you want to come join the team! (Tell me a little about experience, portfolio, what software you use)
Also, now there is smart Latex help in Math Hub lessons for those of you who are unfamiliar with how to write Latex!
The Honest Torus
The Honest Torus
**Formal verification system significantly enhanced**
After extensive testing we discovered some entries in our ingestion of Mathlib got corrupted, and incorrect module paths was the most significant source of unverified claims.
Now this has been fixed you'll see a much more comprehensive coverage of claims from all over being verified formally!
On we push into the future
math-hub.org/
2 days ago (edited) | [YT] | 33
View 1 reply
The Honest Torus
This Thursday we will be welcoming Professor Yang-Hui, one of the pioneers of AI-assisted discovery in Mathematics.
You can watch his recent talk at the Royal Institution here:
https://www.youtube.com/watch?v=oOYcP...
Professor Yang-Hui will be testing and pushing Gaus at different levels starting from undergraduate upwards!
If you have any questions you'd like me to relay then let me know.
Also you may have noticed that our formal verification system has been down most the day as we've been deploying huge upgrades - will be running again soon & benchmarks to follow!
math-hub.org/
1 week ago | [YT] | 31
View 2 replies
The Honest Torus
There is one key reason why Math-Hub will dominate the education space in a blink of an eye:
When you have a tool that you believe is the most efficient way to get deep understanding on complex topics (Math, Data Science, Programming, ....) this means you can completely ignore what school someone went to / what privileges they've had.
You can hire on CHARACTER, and then develop incredible technical ability at a fast rate using your own software.
But character is what this missions demands, you can't teach it, but you can sure find it in people from all over, surprisingly its much sparser than you'd expect in top schools.
The combination of efficiency & effectiveness of learning with our systems is the feedback we are getting the most from our early adopters, which only exists because of character: Grit, blinkers, innovation.
The future is sure exiting, but blink and you'll miss the journey...
math-hub.org/
1 week ago | [YT] | 28
View 9 replies
The Honest Torus
Soon we'll be welcoming professors to the channel as they test out & push the capabilities of Gaus! Alongside this, I'll be pushing the professors on their honest opinions on the future of research and learning with AI.
The Gaus fellows have now been selected and contacted. There were so many applications that I wanted to accept but currently as a small team with a small budget we had to make choices on factors like potential impact.
But I'll be getting back to every applicant soon, hopefully the next wave of fellows will come thick and fast!
The first beat of the butterfly wing is underway, the next beat being what to many will currently be unimaginable...
math-hub.org/
1 week ago | [YT] | 33
View 3 replies
The Honest Torus
By popular demand, arxiv papers are now integrated into the Math-Hub database so you can import any paper and add it to your journey!
Also, the application form for Gaus Fellows hit a storage limit really fast so apologies to those who have tried to applied but have been unable to.
The issue is resolved, and here is the link to the application form:
forms.gle/a36APCKGGUdzrt4k6
2 weeks ago | [YT] | 44
View 2 replies
The Honest Torus
*Introducing Pulse*
Gaus' Pulse works away in the background whilst you sleep, analysing your recent learning across all your courses to tailor how the content of courses coming up is taught to you.
Learning styles, knowledge gaps however small, misunderstanding picked out from your sessions - all constantly making Gaus teach you optimally, for how you need to see the content.
Insights are leverages across your courses to help you see examples on weaknesses your struggling with in one area elsewhere.
If you an existing learner with Gaus, pulse is automatically enabled and you can opt out from your courses page.
Another step into the future has been taken!
2 weeks ago | [YT] | 27
View 2 replies
The Honest Torus
Many of you will see delusion, but that's what it takes. In 1 year's time I'll re read this post knowing that:
- Universities & jobs now use people's learning history on Math-Hub, see how they've developed, how they think, their strengths and knowledge expertise
- We are in 1000+ schools & colleges, training the next wave of aspiring mathematicians with on-tap expert personalised tutoring up to and including PhD level
- We've integrated human thinking patterns into the current body of knowledge, and researchers now chat with Gaus in a collaboration of your mind with the rest of the world's greatest brains interwoven into arXiv, building new Mathematical horizons at an astonishing rate
and that's just the start...
math-hub.org/
2 weeks ago (edited) | [YT] | 45
View 18 replies
The Honest Torus
Back live again learning stats tomorrow! - you can follow the whole course on Math-Hub. See you tomorrow 🫡
3 weeks ago | [YT] | 36
View 1 reply
The Honest Torus
**Looking for an editor**
Hi there, as term is about to start up again here in Cambridge I am looking for some support with editing. Proficiency in Blender is desirable. Please email thehonesttorus@gmail.com if you want to come join the team! (Tell me a little about experience, portfolio, what software you use)
Also, now there is smart Latex help in Math Hub lessons for those of you who are unfamiliar with how to write Latex!
3 weeks ago | [YT] | 32
View 0 replies
The Honest Torus
To address the rumours …
No, Math-Hub is not in the process of being bought by Khan Academy!!
Because of how fast we’re growing there has been storage issues last few hours which may have affected session quality by repeating content.
All restored again now!
If you’ve had a session thats been affected by this get in touch via email at team@math-hub.org
🚀
3 weeks ago | [YT] | 40
View 8 replies
Load more