Deepseek Prover V2 , a model specialised in Math, is impressive, try it on Huggingface for free. I tried many hard SAT questions it solved flawlessly. Very impressive, that promises something for the to-be-released R2.
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
#AI #math #DeepSeekProverV2

I tested with these questions,
https://blog.prepscholar.com/hardest-sat-math-questions

The proof of Taylor's theorem seems flawless. Or is it? The proof of Taylor's theorem is generally based on the Mean Value Theorem. Whereas the latter is undisputable, the way Taylor proved it is flawed giving rise to results such as 1/x does not give a converging Taylor series for some range of x values with respect to a. f(x) = f(a) +f'(x)(x-a) +f''(x) (x-a)^2 +... Taylor simply did not take account of the signs of high derivatives. More discussions will come. #math #mathematics

I know I've done a good job as a teacher *and* as an assessment designer when students correctly answer test questions in multiple ways I had not anticipated.

This evening I'm restoring the truth in some #FreeBSD code, where unacceptable lies have been spread for dozens of years.

https://github.com/freebsd/freebsd-src/pull/1684

Can you SOLVE this ? #math

Mathematician solves algebra's oldest problem using intriguing new number sequences #math #science

https://phys.org/news/2025-05-mathematician-algebra-oldest-problem-intriguing.html

Heads up: Monday, May 5, 2025 is Square Root Day! The next one will be on June 6, 2036.

https://en.m.wikipedia.org/wiki/Square_Root_Day

Hello everyone,
A new hectoc for you:

894622

The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".

Have fun! Your hourly hectoc bot
by @seism0saurus

Apparition, Jarmila Mitríková

a bunch of ideas to wonder at here, are they creating that? communicating? banishing? is it the unnatural modern world vs. the old ways?

Reading a book called "The Dawn Of Everything" which talks a lot about how the modern world and even our ideas of history are a construction.

If it falls, that thing will probably break, and I don't think it will do much damage there. If it rises maybe it will become a star.

#art @art #confrontation #math #spiky #colonial

#100DaysOfCode day 20½ -2:
No #code or #math today. Been spending the day with practical stuff, trying to get my life back on track.
Hopefully I can get some sleep tonight, and be a bit more up to learning again tomorrow

A few weeks ago, I shared a differential equations tutorial for beginners, written from the perspective of a neuroscientist who's had to grapple with the computational part. Following up on that, I've now tackled the first real beast encountered by most computational neuroscience students: the Hodgkin-Huxley model.

While remaining incredibly elegant to this day, this model is also a mathematically dense system of equations that can overwhelm and discourage beginners, especially those with non-mathematical backgrounds. Similar to the first tutorial, I've tried to build intuition step-by-step, starting with a simple RC circuit, layering in Na⁺ and K⁺ channels, and ending with the full spike-generation story.

Feedback is welcome, especially from fellow non-math converts.
https://neurofrontiers.blog/building-a-virtual-neuron-2/

#ComputationalNeuroscience #Python #hodgkinHuxleyModel #math #biophysics

From: @neurofrontiers
https://neuromatch.social/@neurofrontiers/114150087773204813

The Elo Rating System in the MLB

https://thelinell.com/posts/2025/elo_in_the_mlb/

Discussions: https://discu.eu/q/https://thelinell.com/posts/2025/elo_in_the_mlb/

Hello everyone,
The hectoc of the hour is:

584486

The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See https://hectoc.seism0saurus.de for an example. Please use CW "solution".

Have fun! Your hourly hectoc bot
by @seism0saurus

#100DaysOfCode day 20½:
Can't call it a full day, had a doctors visit, but I did find time for a little bit in my #Algebra course, and I think I need to find a good mediate #Python course to learn that.
I also started a coding challenge from #CodingTrain.

Happy birthday #mathematician Henri Poincaré
(1854-1912), here in my Cubist #linocut portrait.

This print is about how movements in art can be connected with contemporary #math & #physics. Specifically, the way #Cubism breaks from a single favoured perspective or absolute frame of reference & breaks down subjects into geometrical shapes from multiple points of view can be tied to advancements in non-Euclidian geometry in math & special

Anti-inductive Dice

David and Goliath each have a six-sided die. David’s die has the numbers {1, 1, 4, 4, 5, 6}, and Goliath’s die has the numbers {0, 1, 2, 6, 6, 6}. If each of them throws his die n times and announces the total, then Goliath is more likely than David to have the higher total, except when n=4.

https://open.substack.com/pub/apieceofthepi/p/anti-inductive-dice

Here's the question for April 29th from the AMS Daily Epsilon of Math Calendar. For those unfamiliar with the calendar, the answer is always the day of the month. Looking for imaginative solutions is the aim.

Deriving the Reactance Formulas - If you’ve dealt with reactance, you surely know the two equations for computing in... - https://hackaday.com/2025/04/28/deriving-the-reactance-formulas/ #radianfrequency #mischacks #reactance #calculus #math