@millerman "There exists, unless I am mistaken, an entire world
consisting of the totality of mathematical truths, which is accessible to us only through our intelligence, just as there exists the world of physical realities" - Hermite
@MichaelLinLab That's also why all these "autonomous" results need expert scientists. The trick is quite neat instruct the model to follow a known approach and at each step ensure it is on the right track - if not rerun/modify the prompt until you get there. It's basically Clever Hans 2.0.
@tonylfeng Somehow all these "autonomous" results need a world class mathematicians to produce. The trick is quite neat instruct the model to follow a known approach and at each step ensure it is on the right track - if not rerun/modify the prompt until you get there. Clever Hans 2.0
@SebastienBubeck Somehow all these "autonomous" results need a world class mathematicians to produce. The trick is quite neat instruct the model to follow a known approach and at each step ensure it is on the right track - if not rerun/modify the prompt until you get there. Clever Hans 2.0
@SebastienBubeck Somehow all these "autonomous" results need a world class mathematicians to produce. The trick is quite neat instruct the model to follow a known approach and at each step ensure it is on the right track - if not rerun/modify the prompt until you get there. Clever Hans 2.0
@SebastienBubeck From the Prompt "Great. Now, do not search the internet. Use this same approach [unit distance conjecture] to disprove the sum-product conjecture." - seriously? I guess there are still people who believe that LLMs do whatever they are told.
@camhberg "I had a friend once who was in the ‘consciousness line of work,’ and he once said: the nice thing about being in a consciousness line of work is that you can drop out for 30 or 40 years and not miss a thing. I think that’s exactly the current situation.” - Jerry Fodor
@camhberg For the AI consciousness Jedis: The Dunning–Kruger effect is a cognitive bias that describes the systematic tendency of people with low ability in a specific area to give overly positive assessments of this ability.
@camhberg For the AI consciousness Jedis: The Dunning–Kruger effect is a cognitive bias that describes the systematic tendency of people with low ability in a specific area to give overly positive assessments of this ability.
@BCollasMath From Dieudonne's preface «...un philosophe comme lui [M. Fourier] aurait di savoir que le but unique de la science, c’est I’honneur de I’esprit humain, et que sous ce titre, une question de nombres vaut autant qu'une question du systéme du monde. »
C.G.J. JACOBI,lettre a Legendre
@KenOno691@leanprover This is somewhat disingenuous no? If you read the papers you see that proofs were produced first by hand and then these were vibe formalized by AxiomProver.