Gary Marcus

Rank 20 of 47
|
Score 74
2/20/2025, 4:29:34 AM
X
In reply to:
John Brownlow
@JohnBrownlow
·
2d
@GaryMarcus sound familiar?
Jonathan Gorard
@getjonwithit
·
3d
Today I decided to try using o1 to assist with some math/CS research. Here's how it went.

For context: I'm currently developing an automated theorem-proving framework in Scheme, and attempting to produce formal proofs of correctness for some advanced numerical algorithms. (1/10)

The statement is part of a conversation about using a tool for math/CS research, which could be considered public discourse as it involves sharing experiences and insights related to academic and technological advancements. However, the specific reply 'Just posted about that!' does not substantively engage with the public issue or contribute to the civic dialogue. It is more of a conversational remark rather than a substantive engagement with the topic.