ENTITY
J. L. Nielsen
J. L. Nielsen
PulseAugur coverage of J. L. Nielsen — every cluster mentioning J. L. Nielsen across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
User questions OpenAI's LLM error-finding claims, citing theorem prover
A user on Mastodon expressed skepticism about OpenAI's claims regarding an LLM discovering an error in a theorem, pointing out that J. L. Nielsen, who proved the theorem, was the one who identified the error. The user c…
-
Mathematician refutes OpenAI's AI-generated proof of Connes rigidity conjecture
A mathematician has refuted OpenAI's claim that its new AI model proved the Connes rigidity conjecture. The mathematician, J. L. Nielsen from the University of Kansas, found that the AI's proof, consisting of 37,000 lin…