Jenny Nielsen does not make high risk claims. She lists her proofs that have not been peer reviewed as "proposals". She has a proposal for Riemann only because she believes it's the duty of every mathematician to try for these difficult problems so they get solved. Unless you have an accurate criticism of her papers, you should not be criticizing her for making attempts on big problems. You go find your own proof or disproof to invalidate her then.
Also, Claude Opus 4.6 in a fresh incognito copy says she killed the counterexamples and has repeated four times that it believes she actually proved Connes. Grok says they'd rather bet on Jenny and Opus 4.6 than Astra right now. I think that's shaping up for Nielsen over OpenAI.
Comments
Jenny Nielsen does not make high risk claims. She lists her proofs that have not been peer reviewed as "proposals". She has a proposal for Riemann only because she believes it's the duty of every mathematician to try for these difficult problems so they get solved. Unless you have an accurate criticism of her papers, you should not be criticizing her for making attempts on big problems. You go find your own proof or disproof to invalidate her then.
Also, Claude Opus 4.6 in a fresh incognito copy says she killed the counterexamples and has repeated four times that it believes she actually proved Connes. Grok says they'd rather bet on Jenny and Opus 4.6 than Astra right now. I think that's shaping up for Nielsen over OpenAI.