Rentlar

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.

An 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.