☆ Yσɠƚԋσʂ ☆Donald Knuth describes his shock and joy upon learning that Claude successfully solved an open combinatorial problem he had been researching for a future volume of The Art of Computer Programming.
RentlarAn actually interesting use of artificial intelligence being able to accomplish something, when put in the hands of expert mathematicians. Definitely a lot of coaxing it back to doing the task correctly but it is pretty cool that it can solve problems (even if they are math nerd ones) in a way that are independently verifiable.
There’s no actual “AI” involved here. Mathematicians have been using computational methods since they invented the computer. These results are just a natural continuation of decades of work.
But no. There’s no Johnny 5 inside this program.
Well just like a MATLAB plotting program “draws” lines and curves and stuff, Claude is a programs that puts together various reasonings based on the mathematician’s input.